Symbol: efi_arch_leave
sys/dev/efidev/efirt.c
338
efi_arch_leave();
sys/sys/efi.h
267
void efi_arch_leave(void);