Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Do we need to save and restore the guests GS/FS regs?
[palacios.git] / palacios / include / palacios / vm_guest.h
index 46fe9f9..1eb4de6 100644 (file)
@@ -104,7 +104,7 @@ struct v3_segments {
   struct v3_segment gdtr;
   struct v3_segment idtr;
   struct v3_segment tr;
-} ;
+};
 
 struct shadow_page_state;
 struct v3_intr_state;
@@ -170,6 +170,12 @@ struct guest_info {
   v3_msr_t guest_syscall_mask;
   v3_msr_t guest_gs_base;
 
+
+  uint64_t fs;
+  uint64_t gs;
+
+
+
 };