Symbol: efi_exit
stand/boot/efi/include/efilib.h
77
void efi_exit(EFI_STATUS status); /* should be __dead2 */
stand/boot/efi/loader/efi_main.c
108
efi_exit(status);
stand/boot/efi/loader/efi_main.c
188
efi_exit(status);
stand/boot/efi/loader/efi_main.c
48
efi_exit(EFI_LOAD_ERROR);