Symbol: boot_timer_info
headers/private/kernel/arch/arm/arch_kernel_args.h
42
boot_timer_info timer;
src/system/boot/platform/efi/arch/arm/arch_dtb.cpp
121
boot_timer_info &timer = gKernelArgs.arch_args.timer;
src/system/boot/platform/efi/arch/arm/arch_dtb.cpp
87
boot_timer_info &timer = gKernelArgs.arch_args.timer;