Symbol: efi_exit
stand/efi/boot1/boot1.c
305
efi_exit(errno_to_efi_status(error));
stand/efi/boot1/boot1.c
324
efi_exit(s);
stand/efi/include/efilib.h
124
void efi_exit(EFI_STATUS status);
stand/efi/loader/efi_main.c
115
efi_exit(status);
stand/efi/loader/efi_main.c
195
efi_exit(status);
stand/efi/loader/efi_main.c
53
efi_exit(errno_to_efi_status(status));