diff --git a/arch/x86/include/asm/processor.h b/arch/x86/include/asm/processor.h
index b79a4b60..9e44bf1d 100644
--- a/arch/x86/include/asm/processor.h
+++ b/arch/x86/include/asm/processor.h
@@ -145,10 +145,11 @@ static inline uint32_t read_eflags(void)
 
 uint32_t read_eip(void);
 
-#define NOP1 	asm  volatile ("nop")
-#define NOP2    asm  volatile ("nop;nop")
-#define NOP4    asm  volatile ("nop;nop;nop;nop")
-#define NOP8    asm  volatile ("nop;nop;nop;nop;nop;nop;nop;nop")
+#define NOP1	asm volatile ("nop")
+#define NOP2	asm volatile ("nop;nop")
+#define NOP4	asm volatile ("nop;nop;nop;nop")
+#define NOP8	asm volatile ("nop;nop;nop;nop;nop;nop;nop;nop")
+#define HALT	asm volatile ("hlt");
 
 inline static int system_init(void)
 {