|
@@ -92,8 +92,13 @@ void __init kernel_randomize_memory(void)
|
|
if (!kaslr_memory_enabled())
|
|
if (!kaslr_memory_enabled())
|
|
return;
|
|
return;
|
|
|
|
|
|
|
|
+ /*
|
|
|
|
+ * Update Physical memory mapping to available and
|
|
|
|
+ * add padding if needed (especially for memory hotplug support).
|
|
|
|
+ */
|
|
BUG_ON(kaslr_regions[0].base != &page_offset_base);
|
|
BUG_ON(kaslr_regions[0].base != &page_offset_base);
|
|
- memory_tb = ((max_pfn << PAGE_SHIFT) >> TB_SHIFT);
|
|
|
|
|
|
+ memory_tb = ((max_pfn << PAGE_SHIFT) >> TB_SHIFT) +
|
|
|
|
+ CONFIG_RANDOMIZE_MEMORY_PHYSICAL_PADDING;
|
|
|
|
|
|
/* Adapt phyiscal memory region size based on available memory */
|
|
/* Adapt phyiscal memory region size based on available memory */
|
|
if (memory_tb < kaslr_regions[0].size_tb)
|
|
if (memory_tb < kaslr_regions[0].size_tb)
|