Symbol: efi_timer_init
sys/arch/arm64/stand/efiboot/efiboot.c
815
efi_timer_init(void)
sys/arch/armv7/stand/efiboot/efiboot.c
725
efi_timer_init(void)
sys/arch/riscv64/stand/efiboot/efiboot.c
701
efi_timer_init(void)