tag	line	file	source code
do_gettimeoffset	226	kernel/time.c	tv->tv_usec += do_gettimeoffset();
do_gettimeoffset	325	kernel/time.c	new_tv.tv_usec -= do_gettimeoffset();