Searched refs:boot_timer_info (Results 1 - 3 of 3) sorted by relevance

/haiku/headers/private/kernel/boot/
H A Dtimer.h22 } __attribute__((packed)) boot_timer_info; typedef in typeref:struct:__anon2
/haiku/headers/private/kernel/arch/arm/
H A Darch_kernel_args.h42 boot_timer_info timer;
/haiku/src/system/boot/platform/efi/arch/arm/
H A Darch_dtb.cpp87 boot_timer_info &timer = gKernelArgs.arch_args.timer;
121 boot_timer_info &timer = gKernelArgs.arch_args.timer;

Completed in 86 milliseconds