X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=cf75842de35ff6d5b6a2ed87110f84b8c6fe9a4a;hb=87bd3921fe6a17138bdba3a41b501a8d620cb48a;hp=bb3bad99145eb8a0c3464dbae5ca9817e45698aa;hpb=3574c981404a1c812d369132db09ec2a27d59a5d;p=palacios.git

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index bb3bad9..cf75842 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -55,7 +55,7 @@ struct v3_gprs {
   v3_reg_t r14;
   v3_reg_t r15;
   
-};
+} __attribute__((packed));
 
 
 struct v3_ctrl_regs {
@@ -139,8 +139,8 @@ struct guest_info {
   v3_io_map_t io_map;
 
   struct v3_msr_map msr_map;
-  // device_map
 
+  // device_map
   struct vmm_dev_mgr  dev_mgr;
 
   struct v3_host_events host_event_hooks;
@@ -165,8 +165,12 @@ struct guest_info {
 
   struct v3_msr guest_efer;
 
-  /* TEMP */
-  //ullong_t exit_tsc;
+  /* Do we need these ? */
+  struct v3_msr guest_star;
+  struct v3_msr guest_lstar;
+  struct v3_msr guest_cstar;
+  struct v3_msr guest_syscall_mask;
+  struct v3_msr guest_gs_base;
 
 };