Symbol: efi_timer
sys/arch/arm64/stand/efiboot/efiboot.c
809
efi_timer(EFI_EVENT event, VOID *context)
sys/arch/armv7/stand/efiboot/efiboot.c
719
efi_timer(EFI_EVENT event, VOID *context)
sys/arch/riscv64/stand/efiboot/efiboot.c
695
efi_timer(EFI_EVENT event, VOID *context)