Index: /trunk/src/VBox/VMM/Makefile.kmk
===================================================================
--- /trunk/src/VBox/VMM/Makefile.kmk	(revision 41270)
+++ /trunk/src/VBox/VMM/Makefile.kmk	(revision 41271)
@@ -589,4 +589,5 @@
 		-D VBOX_FOR_DTRACE_LIB \
 		-D VBOX_FOR_DTRACE_LIB_$(toupper $(KBUILD_TARGET_ARCH)) \
+		-D IN_RING0 \
 		-D RT_C_DECLS_BEGIN= \
 		-D RT_C_DECLS_END= \
Index: /trunk/src/VBox/VMM/include/CPUMInternal.h
===================================================================
--- /trunk/src/VBox/VMM/include/CPUMInternal.h	(revision 41270)
+++ /trunk/src/VBox/VMM/include/CPUMInternal.h	(revision 41271)
@@ -302,5 +302,4 @@
     } CR4;
 
-#if 1 /*ndef VBOX_FOR_DTRACE_LIB*/ /* DTrace turns a 'bool' into a uint32_t. Ditto for uint8_t. Stupid, stupid DTrace! */
     /** Synthetic CPU type? */
     bool                    fSyntheticCpu;
@@ -311,7 +310,4 @@
     bool                    fPendingRestore;
     uint8_t                 abPadding[HC_ARCH_BITS == 64 ? 5 : 1];
-#else
-    uint8_t                 abPadding[(HC_ARCH_BITS == 64 ? 5 : 1) + 3];
-#endif
 
     /** The standard set of CpuId leaves. */