Symbol: efi_leave
sys/arch/amd64/amd64/efi_machdep.c
216
efi_leave(struct efi_softc *sc)
sys/arch/arm64/dev/efi_machdep.c
270
efi_leave(struct efi_softc *sc)