Symbol: set_hardware_timer
src/system/kernel/timer.cpp
53
set_hardware_timer(bigtime_t scheduleTime, bigtime_t now)
src/system/kernel/timer.cpp
64
set_hardware_timer(bigtime_t scheduleTime)