1 files changed, 1 insertions, 3 deletions
diff --git a/sys/arch/amd64/amd64/machdep.c b/sys/arch/amd64/amd64/machdep.c
index 3381437..19918b7 100644
--- a/sys/arch/amd64/amd64/machdep.c
+++ b/sys/arch/amd64/amd64/machdep.c
@@ -52,8 +52,6 @@
 #define SPECTRE_IBRS 0
 #endif
 
-static uint8_t halt_vector = 0;
-
 int ibrs_enable(void);
 void syscall_isr(void);
 void pin_isr_load(void);
@@ -166,7 +164,7 @@ cpu_halt_all(void)
     }
 
     /* Send IPI to all cores */
-    lapic_send_ipi(0, IPI_SHORTHAND_ALL, halt_vector);
+    lapic_send_ipi(0, IPI_SHORTHAND_ALL, HALT_VECTOR);
     for (;;);
 }