src/system/kernel/arch/arm/arch_timer.cpp

38

arch_timer_set_hardware_timer(bigtime_t timeout)

src/system/kernel/arch/arm64/arch_timer.cpp

28

arch_timer_set_hardware_timer(bigtime_t timeout)

src/system/kernel/arch/m68k/arch_timer.cpp

23

arch_timer_set_hardware_timer(bigtime_t timeout)

src/system/kernel/arch/mips/arch_timer.cpp

13

void arch_timer_set_hardware_timer(time_t timeout)

src/system/kernel/arch/ppc/arch_timer.cpp

19

arch_timer_set_hardware_timer(bigtime_t timeout)

src/system/kernel/arch/riscv64/arch_timer.cpp

29

arch_timer_set_hardware_timer(bigtime_t timeout)

src/system/kernel/arch/sparc/arch_timer.cpp

17

arch_timer_set_hardware_timer(bigtime_t timeout)

src/system/kernel/arch/x86/arch_timer.cpp

50

arch_timer_set_hardware_timer(bigtime_t timeout)