do_clock_gettime   96 kernel/time/posix-stubs.c 	ret = do_clock_gettime(which_clock, &kernel_tp);
do_clock_gettime  181 kernel/time/posix-stubs.c 	ret = do_clock_gettime(which_clock, &kernel_tp);