tag	line	file	source code
do_gettimeoffset	172	kernel/time.c	tv->tv_usec += do_gettimeoffset();
do_gettimeoffset	268	kernel/time.c	usec -= do_gettimeoffset();