|
@@ -1672,6 +1672,9 @@ asmlinkage void __init xen_start_kernel(void)
|
|
possible map and a non-dummy shared_info. */
|
|
possible map and a non-dummy shared_info. */
|
|
per_cpu(xen_vcpu, 0) = &HYPERVISOR_shared_info->vcpu_info[0];
|
|
per_cpu(xen_vcpu, 0) = &HYPERVISOR_shared_info->vcpu_info[0];
|
|
|
|
|
|
|
|
+ local_irq_disable();
|
|
|
|
+ early_boot_irqs_off();
|
|
|
|
+
|
|
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);
|
|
|
|
|