efi_warn
efi_warn("Working around broken SetVirtualAddressMap()\n");
efi_warn("Failed to measure data for event %d: 0x%lx\n", event, status);
efi_warn("Failed to retrieve memory attributes for image region: 0x%lx\n",
efi_warn("Failed to remap code region read-only\n");
efi_warn("Failed to remap code region executable\n");
efi_warn("Failed to remap data region non-executable\n");
efi_warn("Unexpected device path node type: (%x, %x)\n",
efi_warn("efi_random_alloc() failed: 0x%lx\n", status);
efi_warn("Failed to allocate memory for RNG seed.\n");
efi_warn("Failed to obtain seed from EFI_RNG_PROTOCOL or EFI variable\n");
efi_warn("Retaining bootloader-supplied seed only");
efi_warn("Failed to set EFI_MEMORY_RO attribute\n");
efi_warn("Failed to clear EFI_MEMORY_XP attribute\n");
efi_warn("Unable to unprotect memory range [%08lx,%08lx]: %lx\n",
efi_warn("Decompression failed: %s\n", str);
efi_warn("Ignoring DXE services table: invalid signature\n");