On 07/21/2016 08:11 AM, Matt Fleming wrote: > > efi_mem_desc_lookup() should just return the correct EFI memory > descriptor now that we have efi_mem_reserve() coming in v4.9. > > What does the EFI memmap (as printed with efi=debug) look like on your > machine? > [ 0.000000] efi: EFI v2.40 by Dell Inc. [ 0.000000] efi: ESRT=0x8eb1c000 ACPI=0x8efe7000 ACPI 2.0=0x8efe7014 SMBIOS=0x8ef69000 and [ 0.000000] efi: mem249: [Reserved | | | | | | | | |WB|WT|WC|UC] range=[0x000000008d6df000-0x000000008ef69fff] (24MB) P. -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
