Symbol: set_hardware_timer
headers/private/kernel/timer.h
33
status_t (*set_hardware_timer)(bigtime_t timeout);
src/system/kernel/arch/x86/arch_timer.cpp
53
sTimer->set_hardware_timer(timeout);
src/system/kernel/timer.cpp
151
set_hardware_timer(cpuData.events->schedule_time);
src/system/kernel/timer.cpp
301
set_hardware_timer(cpuData.events->schedule_time);
src/system/kernel/timer.cpp
354
set_hardware_timer(event->schedule_time, currentTime);
src/system/kernel/timer.cpp
421
set_hardware_timer(cpuData.events->schedule_time);
src/system/kernel/timer.cpp
66
set_hardware_timer(scheduleTime, system_time());