Symbol: efi_fault
sys/arch/amd64/amd64/efi_machdep.c
195
efi_fault(void)
sys/arch/arm64/dev/efi_machdep.c
244
efi_fault(void)