Index: /trunk/src/VBox/Devices/VMMDev/VMMDev.cpp
===================================================================
--- /trunk/src/VBox/Devices/VMMDev/VMMDev.cpp	(revision 87282)
+++ /trunk/src/VBox/Devices/VMMDev/VMMDev.cpp	(revision 87283)
@@ -98,5 +98,7 @@
 
 #include <iprt/asm.h>
-#include <iprt/asm-amd64-x86.h>
+#if defined(RT_ARCH_AMD64) || defined(RT_ARCH_X86)
+# include <iprt/asm-amd64-x86.h> /* ASMReadTsc */
+#endif
 #include <iprt/assert.h>
 #include <iprt/buildconfig.h>