do_timer_gettime 723 kernel/time/posix-timers.c int ret = do_timer_gettime(timer_id, &cur_setting); do_timer_gettime 738 kernel/time/posix-timers.c int ret = do_timer_gettime(timer_id, &cur_setting);