Index: kernel/arch/amd64/include/asm.h
===================================================================
--- kernel/arch/amd64/include/asm.h	(revision 473e69345f542ae9a9eb34d76547b54f2492e511)
+++ kernel/arch/amd64/include/asm.h	(revision 99373fe634e57f8fd0d7e00007f064f11ed0c6bb)
@@ -59,10 +59,10 @@
 {
 	asm volatile ("hlt\n");
-};
+}
 
 static inline void cpu_halt(void)
 {
 	asm volatile ("hlt\n");
-};
+}
 
 
@@ -74,5 +74,11 @@
  * @return Value read
  */
-static inline uint8_t inb(uint16_t port) { uint8_t val; __asm__ volatile ("inb %w1, %b0 \n" : "=a" (val) : "d" (port) ); return val; }
+static inline uint8_t inb(uint16_t port)
+{
+	uint8_t val;
+
+	asm volatile ("inb %w1, %b0 \n" : "=a" (val) : "d" (port));
+	return val;
+}
 
 /** Byte to port
@@ -83,8 +89,14 @@
  * @param val Value to write
  */
-static inline void outb(uint16_t port, uint8_t val) { __asm__ volatile ("outb %b0, %w1\n" : : "a" (val), "d" (port) ); }
+static inline void outb(uint16_t port, uint8_t val)
+{
+	asm volatile ("outb %b0, %w1\n" : : "a" (val), "d" (port));
+}
 
 /** Swap Hidden part of GS register with visible one */
-static inline void swapgs(void) { __asm__ volatile("swapgs"); }
+static inline void swapgs(void)
+{
+	asm volatile("swapgs");
+}
 
 /** Enable interrupts.