Symbol: scoped_timer
kernel/time/posix-timers.c
1057
timer = scoped_timer;
kernel/time/posix-timers.c
739
scoped_timer->kclock->timer_get(scoped_timer, setting);
kernel/time/posix-timers.c
795
return timer_overrun_to_int(scoped_timer);
kernel/time/posix-timers.c
926
timr = scoped_timer;