Searched refs:arch_timer_init (Results 1 - 7 of 7) sorted by relevance

/haiku/headers/private/kernel/boot/platform/efi/
H A Darch_timer.h8 void arch_timer_init(void);
/haiku/src/system/boot/platform/efi/
H A Dtimer.cpp30 arch_timer_init();
/haiku/src/system/boot/platform/efi/arch/x86_64/
H A Darch_timer.cpp20 arch_timer_init(void) function
/haiku/src/system/boot/platform/efi/arch/x86/
H A Darch_timer.cpp20 arch_timer_init(void) function
/haiku/src/system/boot/platform/efi/arch/arm/
H A Darch_timer.cpp29 arch_timer_init(void) function
/haiku/src/system/boot/platform/efi/arch/arm64/
H A Darch_timer.cpp29 arch_timer_init(void) function
/haiku/src/system/boot/platform/efi/arch/riscv64/
H A Darch_timer.cpp30 arch_timer_init(void) function

Completed in 78 milliseconds