X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=271bbb98d6f0950a49db3be1dfb4ef927d0ba6f6;hb=24178516ccd9f46718b687d4c630415eb63ff595;hp=e1a91997753d0f8da9621fdb6809696b3eccfff6;hpb=165560d91368d638b177022f883d3723d7618944;p=palacios.git diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h index e1a9199..271bbb9 100644 --- a/palacios/include/palacios/vm_guest.h +++ b/palacios/include/palacios/vm_guest.h @@ -112,7 +112,8 @@ struct guest_info { uint_t cpl; addr_t mem_size; // Probably in bytes for now.... - struct shadow_map mem_map; + v3_shdw_map_t mem_map; + struct vm_time time_state; @@ -126,7 +127,7 @@ struct guest_info { // This structure is how we get interrupts for the guest struct v3_intr_state intr_state; - struct vmm_io_map io_map; + v3_io_map_t io_map; struct v3_msr_map msr_map; // device_map @@ -144,12 +145,12 @@ struct guest_info { struct v3_dbg_regs dbg_regs; struct v3_segments segments; - struct emulation_state emulator; - v3_vm_operating_mode_t run_state; void * vmm_data; + void * decoder_state; + struct v3_msr guest_efer; /* TEMP */