|
@@ -161,7 +161,7 @@ void __init setup_arch(char **cmdline_p)
|
|
reserve the page it is occupying. */
|
|
reserve the page it is occupying. */
|
|
if (CONFIG_INTERRUPT_VECTOR_BASE >= CONFIG_KERNEL_RAM_BASE_ADDRESS &&
|
|
if (CONFIG_INTERRUPT_VECTOR_BASE >= CONFIG_KERNEL_RAM_BASE_ADDRESS &&
|
|
CONFIG_INTERRUPT_VECTOR_BASE < memory_end)
|
|
CONFIG_INTERRUPT_VECTOR_BASE < memory_end)
|
|
- reserve_bootmem(CONFIG_INTERRUPT_VECTOR_BASE, 1,
|
|
|
|
|
|
+ reserve_bootmem(CONFIG_INTERRUPT_VECTOR_BASE, PAGE_SIZE,
|
|
BOOTMEM_DEFAULT);
|
|
BOOTMEM_DEFAULT);
|
|
|
|
|
|
reserve_bootmem(PAGE_ALIGN(PFN_PHYS(free_pfn)), bootmap_size,
|
|
reserve_bootmem(PAGE_ALIGN(PFN_PHYS(free_pfn)), bootmap_size,
|