Index: kernel/arch/ia32/include/asm.h
===================================================================
--- kernel/arch/ia32/include/asm.h	(revision 8c15255808b8cb7f5be4dc66647bfc281a76c041)
+++ kernel/arch/ia32/include/asm.h	(revision ac7f81d7ebec01bd079fe1251f6be26b48b73a44)
@@ -322,5 +322,4 @@
 	);
 }
-#endif
 
 NO_TRACE static inline uint64_t read_msr(uint32_t msr)
@@ -337,4 +336,5 @@
 	return ((uint64_t) dx << 32) | ax;
 }
+#endif