efi_fault - OpenBSD

Symbol: efi_fault

sys/arch/amd64/amd64/efi_machdep.c

curpcb->pcb_onfault = (void *)efi_fault;

sys/arch/arm64/dev/efi_machdep.c

curcpu()->ci_curpcb->pcb_onfault = (void *)efi_fault;