Index: kernel/arch/ia32/include/asm.h
===================================================================
--- kernel/arch/ia32/include/asm.h	(revision 8c15255808b8cb7f5be4dc66647bfc281a76c041)
+++ kernel/arch/ia32/include/asm.h	(revision 16f97821cd585eaeae44e568bfb84c36d23e96cf)
@@ -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