X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=d7fcdebea278baa1e5022f536697b0beef62ae30;hb=f44ca084bc46b20de6414920ab3a6fe53688095f;hp=9987fe5d467c35dbefe7100c8c1bddb4ae1c3466;hpb=3f4d4561cb9187c173cc38b237a2da583b8bae65;p=palacios.git diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h index 9987fe5..d7fcdeb 100644 --- a/palacios/include/palacios/vm_guest.h +++ b/palacios/include/palacios/vm_guest.h @@ -29,10 +29,10 @@ #include #include #include -#include #include #include #include +#include @@ -105,10 +105,9 @@ struct v3_segments { struct v3_segment gdtr; struct v3_segment idtr; struct v3_segment tr; -} ; +}; struct shadow_page_state; -struct emulation_state; struct v3_intr_state; struct v3_profiler; @@ -120,7 +119,7 @@ struct guest_info { uint_t cpl; - addr_t mem_size; // Probably in bytes for now.... + addr_t mem_size; // In bytes for now v3_shdw_map_t mem_map; @@ -139,8 +138,11 @@ 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; @@ -163,17 +165,20 @@ struct guest_info { 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; - struct v3_msr shadow_cstar; - struct v3_msr shadow_star; - struct v3_msr shadow_lstar; - struct v3_msr shadow_syscall_mask; - - /* TEMP */ - //ullong_t exit_tsc; };