Index: /trunk/include/VBox/vmm/cpumctx.h
===================================================================
--- /trunk/include/VBox/vmm/cpumctx.h	(revision 71801)
+++ /trunk/include/VBox/vmm/cpumctx.h	(revision 71802)
@@ -504,5 +504,5 @@
                 /** 0x3ba - Pause filter count. */
                 uint16_t            cPauseFilter;
-                /** 0x3bc - Pause filter count. */
+                /** 0x3bc - Pause filter threshold. */
                 uint16_t            cPauseFilterThreshold;
                 /** 0x3be - Whether the injected event is subject to event intercepts. */
Index: /trunk/include/VBox/vmm/hm_svm.h
===================================================================
--- /trunk/include/VBox/vmm/hm_svm.h	(revision 71801)
+++ /trunk/include/VBox/vmm/hm_svm.h	(revision 71802)
@@ -1013,8 +1013,10 @@
     /** Cache of DRX write intercepts. */
     uint16_t            u16InterceptWrDRx;
+    /** Cache of the pause-filter threshold. */
+    uint16_t            u16PauseFilterThreshold;
+    /** Cache of the pause-filter count. */
+    uint16_t            u16PauseFilterCount;
     /** Cache of exception intercepts. */
     uint32_t            u32InterceptXcpt;
-    /** Alignment. */
-    uint32_t            u32Padding0;
 
     /** Cache of control intercepts. */