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