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

47

arch_timer_clear_hardware_timer()

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

39

arch_timer_clear_hardware_timer()

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

30

arch_timer_clear_hardware_timer()

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

17

void arch_timer_clear_hardware_timer()

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

33

arch_timer_clear_hardware_timer()

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

54

arch_timer_clear_hardware_timer()

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

23

arch_timer_clear_hardware_timer()

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

58

arch_timer_clear_hardware_timer(void)