Searched defs:arch_timer_init (Results 1 - 5 of 5) sorted by relevance

/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/riscv64/
H A Darch_timer.cpp30 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

Completed in 110 milliseconds