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