X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=8b2104e5dd0b3dfb259e65cf78f378114cb38be7;hb=97cd5fe64c098b917e5519d30fd54c4b4e338b1c;hp=29ea0c5c17900a3e01a88487e1ce59ca76f440dc;hpb=a6865d183eedbdf3e5510e4be89dcb5ce51b5953;p=palacios.git

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index 29ea0c5..8b2104e 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -29,9 +29,10 @@
 #include <palacios/vmm_intr.h>
 #include <palacios/vmm_dev_mgr.h>
 #include <palacios/vmm_time.h>
-#include <palacios/vmm_emulator.h>
 #include <palacios/vmm_host_events.h>
 #include <palacios/vmm_msr.h>
+#include <palacios/vmm_profiler.h>
+#include <palacios/vmm_hypercall.h>
 
 
 
@@ -44,7 +45,17 @@ struct v3_gprs {
   v3_reg_t rdx;
   v3_reg_t rcx;
   v3_reg_t rax;
-};
+
+  v3_reg_t r8;
+  v3_reg_t r9;
+  v3_reg_t r10;
+  v3_reg_t r11;
+  v3_reg_t r12;
+  v3_reg_t r13;
+  v3_reg_t r14;
+  v3_reg_t r15;
+  
+} __attribute__((packed));
 
 
 struct v3_ctrl_regs {
@@ -80,7 +91,7 @@ struct v3_segment {
   uint_t long_mode      : 1;
   uint_t db             : 1;
   uint_t granularity    : 1;
-};
+} __attribute__((packed));
 
 
 struct v3_segments {
@@ -97,11 +108,8 @@ struct v3_segments {
 };
 
 struct shadow_page_state;
-struct shadow_map;
-struct vmm_io_map;
-struct emulation_state;
 struct v3_intr_state;
-
+struct v3_profiler;
 
 
 
@@ -111,8 +119,9 @@ struct guest_info {
 
   uint_t cpl;
 
-  addr_t mem_size; // Probably in bytes for now....
-  struct shadow_map mem_map;
+  addr_t mem_size; // In bytes for now
+  v3_shdw_map_t mem_map;
+
 
   struct vm_time time_state;
 
@@ -129,14 +138,18 @@ struct guest_info {
   v3_io_map_t io_map;
 
   struct v3_msr_map msr_map;
-  // device_map
 
+
+  v3_hypercall_map_t hcall_map;
+
+  // device_map
   struct vmm_dev_mgr  dev_mgr;
 
   struct v3_host_events host_event_hooks;
 
   v3_vm_cpu_mode_t cpu_mode;
   v3_vm_mem_mode_t mem_mode;
+  uint_t addr_width;
 
 
   struct v3_gprs vm_regs;
@@ -148,16 +161,30 @@ struct guest_info {
   void * vmm_data;
 
 
+  uint_t enable_profiler;
+  struct v3_profiler profiler;
+
   void * decoder_state;
 
-  struct v3_msr guest_efer;
+  v3_msr_t guest_efer;
+
+  /* Do we need these ? */
+  v3_msr_t guest_star;
+  v3_msr_t guest_lstar;
+  v3_msr_t guest_cstar;
+  v3_msr_t guest_syscall_mask;
+  v3_msr_t guest_gs_base;
+
+
+  uint64_t fs;
+  uint64_t gs;
+
 
-  /* TEMP */
-  //ullong_t exit_tsc;
 
 };
 
 
+uint_t v3_get_addr_width(struct guest_info * info);
 v3_vm_cpu_mode_t v3_get_cpu_mode(struct guest_info * info);
 v3_vm_mem_mode_t v3_get_mem_mode(struct guest_info * info);