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