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);