Symbol: arch_timer_set_hardware_timer
headers/private/kernel/arch/timer.h
16
extern void arch_timer_set_hardware_timer(bigtime_t timeout);
src/system/kernel/timer.cpp
55
arch_timer_set_hardware_timer(scheduleTime > now ? scheduleTime - now : 0);