taglinefilesource code
do_gettimeoffset138arch/i386/kernel/time.cstatic unsigned long (*do_gettimeoffset)(void) = do_slow_gettimeoffset;
do_gettimeoffset150arch/i386/kernel/time.ctv->tv_usec += do_gettimeoffset();
do_gettimeoffset167arch/i386/kernel/time.ctv->tv_usec -= do_gettimeoffset();
do_gettimeoffset360arch/i386/kernel/time.cdo_gettimeoffset = do_fast_gettimeoffset;