Index: kernel/arch/amd64/include/asm.h
===================================================================
--- kernel/arch/amd64/include/asm.h	(revision 201abde2f6d30f23f1aab2b46d1a55da556278f1)
+++ kernel/arch/amd64/include/asm.h	(revision cc85fb9f57fb5f9af22419eb0ee58d9548d3c7d1)
@@ -56,6 +56,13 @@
 }
 
-static inline void cpu_sleep(void) { __asm__ volatile ("hlt\n"); };
-static inline void cpu_halt(void) { __asm__ volatile ("hlt\n"); };
+static inline void cpu_sleep(void)
+{
+	asm volatile ("hlt\n");
+};
+
+static inline void cpu_halt(void)
+{
+	asm volatile ("hlt\n");
+};