efi_panic
efi_panic(EFI_OUT_OF_RESOURCES, "Failed to allocate %d handles\n",
efi_panic(status, "Failed to get device handles\n");
efi_panic(EFI_LOAD_ERROR, "No bootable partitions found!");
static void efi_panic(EFI_STATUS s, const char *fmt, ...) __dead2 __printflike(2, 3);