Index: /trunk/include/VBox/x86.h
===================================================================
--- /trunk/include/VBox/x86.h	(revision 35492)
+++ /trunk/include/VBox/x86.h	(revision 35493)
@@ -1731,5 +1731,5 @@
 typedef X86PDPEAMD64BITS *PX86PDPEAMD64BITS;
 /** Pointer to a const page directory pointer table entry. */
-typedef const X86PDPEBITS *PCX86PDPEAMD64BITS;
+typedef const X86PDPEAMD64BITS *PCX86PDPEAMD64BITS;
 
 /**