|
@@ -438,7 +438,7 @@ void __init efi_reserve_boot_services(void)
|
|
* - Not within any part of the kernel
|
|
* - Not within any part of the kernel
|
|
* - Not the bios reserved area
|
|
* - Not the bios reserved area
|
|
*/
|
|
*/
|
|
- if ((start+size >= __pa_symbol(_text)
|
|
|
|
|
|
+ if ((start + size > __pa_symbol(_text)
|
|
&& start <= __pa_symbol(_end)) ||
|
|
&& start <= __pa_symbol(_end)) ||
|
|
!e820_all_mapped(start, start+size, E820_RAM) ||
|
|
!e820_all_mapped(start, start+size, E820_RAM) ||
|
|
memblock_is_region_reserved(start, size)) {
|
|
memblock_is_region_reserved(start, size)) {
|