diff --git a/xen/arch/x86/shutdown.c b/xen/arch/x86/shutdown.c
index 5b9ed97c3d..ca31d3b48b 100644
--- a/xen/arch/x86/shutdown.c
+++ b/xen/arch/x86/shutdown.c
@@ -96,7 +96,6 @@ void machine_halt(void)
     watchdog_disable();
     console_start_sync();
     local_irq_enable();
-    efi_halt_system();
     smp_call_function(__machine_halt, NULL, 0);
     __machine_halt(NULL);
 }