added more 64 bit support,

[palacios.git] / palacios / include / palacios / vm_guest.h

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index ea2252d..10a95aa 100644 (file)
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -35,7 +35,6 @@
 
 
 
-
 struct v3_gprs {
   v3_reg_t rdi;
   v3_reg_t rsi;
@@ -148,6 +147,9 @@ struct guest_info {
   v3_vm_operating_mode_t run_state;
   void * vmm_data;
 
+
+  struct v3_msr guest_efer;
+
   /* TEMP */
   //ullong_t exit_tsc;