Index: /trunk/include/iprt/x86.h
===================================================================
--- /trunk/include/iprt/x86.h	(revision 41266)
+++ /trunk/include/iprt/x86.h	(revision 41267)
@@ -3029,5 +3029,9 @@
     uint16_t    cb;
     /** Address of the descriptor table. */
+#ifndef VBOX_FOR_DTRACE_LIB
     uint32_t    uAddr;
+#else
+    uint16_t    au16Addr[2];
+#endif
 } X86XDTR32, *PX86XDTR32;
 #pragma pack()
@@ -3042,5 +3046,9 @@
     uint16_t    cb;
     /** Address of the descriptor table. */
+#ifndef VBOX_FOR_DTRACE_LIB
     uint64_t    uAddr;
+#else
+    uint16_t    au16Addr[4];
+#endif
 } X86XDTR64, *PX86XDTR64;
 #pragma pack()