|
@@ -1924,6 +1924,9 @@ static void __init xen_hvm_guest_init(void)
|
|
x86_init.irqs.intr_init = xen_init_IRQ;
|
|
x86_init.irqs.intr_init = xen_init_IRQ;
|
|
xen_hvm_init_time_ops();
|
|
xen_hvm_init_time_ops();
|
|
xen_hvm_init_mmu_ops();
|
|
xen_hvm_init_mmu_ops();
|
|
|
|
+
|
|
|
|
+ if (xen_pvh_domain())
|
|
|
|
+ machine_ops.emergency_restart = xen_emergency_restart;
|
|
#ifdef CONFIG_KEXEC_CORE
|
|
#ifdef CONFIG_KEXEC_CORE
|
|
machine_ops.shutdown = xen_hvm_shutdown;
|
|
machine_ops.shutdown = xen_hvm_shutdown;
|
|
machine_ops.crash_shutdown = xen_hvm_crash_shutdown;
|
|
machine_ops.crash_shutdown = xen_hvm_crash_shutdown;
|