Symbol: do_timer_gettime
kernel/time/posix-timers.c
749
int ret = do_timer_gettime(timer_id, &cur_setting);
kernel/time/posix-timers.c
764
int ret = do_timer_gettime(timer_id, &cur_setting);