Symbol: efi_timer_init
sys/arch/arm64/stand/efiboot/efiboot.c
760
efi_timer_init();
sys/arch/arm64/stand/efiboot/efiboot.c
81
static void efi_timer_init(void);
sys/arch/armv7/stand/efiboot/efiboot.c
670
efi_timer_init();
sys/arch/armv7/stand/efiboot/efiboot.c
71
static void efi_timer_init(void);
sys/arch/riscv64/stand/efiboot/efiboot.c
646
efi_timer_init();
sys/arch/riscv64/stand/efiboot/efiboot.c
76
static void efi_timer_init(void);