Symbol: efi_arch_leave
sys/amd64/amd64/efirt_machdep.c
357
efi_arch_leave(void)
sys/arm64/arm64/efirt_machdep.c
276
efi_arch_leave(void)