|
@@ -1178,6 +1178,9 @@ asmlinkage void __init xen_start_kernel(void)
|
|
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);
|
|
|
|
|
|
|
|
+ /* Allocate and initialize top and mid mfn levels for p2m structure */
|
|
|
|
+ xen_build_mfn_list_list();
|
|
|
|
+
|
|
init_mm.pgd = pgd;
|
|
init_mm.pgd = pgd;
|
|
|
|
|
|
/* keep using Xen gdt for now; no urgent need to change it */
|
|
/* keep using Xen gdt for now; no urgent need to change it */
|