Messages in this thread | | | Date | Wed, 16 Oct 2013 00:29:58 -0700 | From | "H. Peter Anvin" <> | Subject | Re: [PATCH] x86 efi: efi reverve boot service fix |
| |
On 10/16/2013 12:11 AM, Dave Young wrote: >> >> --- linux-2.6.orig/arch/x86/platform/efi/efi.c >> +++ linux-2.6/arch/x86/platform/efi/efi.c >> @@ -440,7 +440,7 @@ void __init efi_reserve_boot_services(vo >> * - Not within any part of the kernel >> * - Not the bios reserved area >> */ >> - if ((start+size >= __pa_symbol(_text) >> + if ((start + size - 1 >= __pa_symbol(_text) >> && start <= __pa_symbol(_end)) || >> !e820_all_mapped(start, start+size, E820_RAM) || >> memblock_is_region_reserved(start, size)) {
It would be better to change >= to >.
-hpa
| |