Index: /trunk/include/VBox/Graphics/VBoxVideoIPRT.h
===================================================================
--- /trunk/include/VBox/Graphics/VBoxVideoIPRT.h	(revision 87260)
+++ /trunk/include/VBox/Graphics/VBoxVideoIPRT.h	(revision 87261)
@@ -43,5 +43,5 @@
 #include <iprt/types.h>
 
-#if !defined VBOX_XPDM_MINIPORT && !defined RT_OS_OS2
+#if !defined VBOX_XPDM_MINIPORT && !defined RT_OS_OS2 && (defined(RT_ARCH_AMD64) || defined(RT_ARCH_X86))
 # include <iprt/asm-amd64-x86.h>
 #endif