|
@@ -30,6 +30,7 @@
|
|
#include <linux/console.h>
|
|
#include <linux/console.h>
|
|
#include <linux/pci.h>
|
|
#include <linux/pci.h>
|
|
#include <linux/gfp.h>
|
|
#include <linux/gfp.h>
|
|
|
|
+#include <linux/memblock.h>
|
|
|
|
|
|
#include <xen/xen.h>
|
|
#include <xen/xen.h>
|
|
#include <xen/interface/xen.h>
|
|
#include <xen/interface/xen.h>
|
|
@@ -1183,6 +1184,8 @@ asmlinkage void __init xen_start_kernel(void)
|
|
local_irq_disable();
|
|
local_irq_disable();
|
|
early_boot_irqs_off();
|
|
early_boot_irqs_off();
|
|
|
|
|
|
|
|
+ memblock_init();
|
|
|
|
+
|
|
xen_raw_console_write("mapping kernel into physical memory\n");
|
|
xen_raw_console_write("mapping kernel into physical memory\n");
|
|
pgd = xen_setup_kernel_pagetable(pgd, xen_start_info->nr_pages);
|
|
pgd = xen_setup_kernel_pagetable(pgd, xen_start_info->nr_pages);
|
|
|
|
|