Index: /trunk/src/VBox/Runtime/r0drv/alloc-ef-r0drv.cpp
===================================================================
--- /trunk/src/VBox/Runtime/r0drv/alloc-ef-r0drv.cpp	(revision 58269)
+++ /trunk/src/VBox/Runtime/r0drv/alloc-ef-r0drv.cpp	(revision 58270)
@@ -31,16 +31,17 @@
 #include "internal/iprt.h"
 #include <iprt/mem.h>
+
+#include <iprt/alloc.h>
+#include <iprt/asm.h>
+#include <iprt/asm-amd64-x86.h>
+#include <iprt/assert.h>
+#include <iprt/err.h>
+#include <iprt/log.h>
 #include <iprt/memobj.h>
-#include <iprt/log.h>
-#include <iprt/asm.h>
-#include <iprt/thread.h>
-#include <VBox/sup.h>
-#include <iprt/err.h>
-
-#include <iprt/alloc.h>
-#include <iprt/assert.h>
 #include <iprt/param.h>
 #include <iprt/string.h>
-
+#include <iprt/thread.h>
+
+#include "internal/mem.h"