--- a/xen/include/public/xen.h	2005-04-04 22:16:33.000000000 -0500
+++ b/xen/include/public/xen.h	2005-04-05 11:41:25.000000000 -0500
@@ -335,8 +335,9 @@
     u8 evtchn_upcall_mask;              /* 1 */
     u8 pad0, pad1;
     u32 evtchn_pending_sel;             /* 4 */
-    arch_vcpu_info_t arch;              /* 8 */
-} PACKED vcpu_info_t;                   /* 8 + arch */
+    u32 v_flags;                        /* 8 */
+    arch_vcpu_info_t arch;              /* 12 */
+} PACKED vcpu_info_t;                   /* 12 + arch */
 
 /*
  * Xen/kernel shared data -- pointer provided in start_info.