X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=bbfc22d77d8a12c2b7e7451b3a9c56d2106e6901;hb=82b8b87c344fcd1eab22e3f3be5ad54cbb3f8f68;hp=a3a48883ea1d14cb4b71949cd3e01c5b179ce4ae;hpb=ec5d14e0646389db39ffc9244bf8204629b74a8e;p=palacios.git diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h index a3a4888..bbfc22d 100644 --- a/palacios/include/palacios/vm_guest.h +++ b/palacios/include/palacios/vm_guest.h @@ -81,9 +81,9 @@ struct v3_dbg_regs { }; struct v3_segment { - ushort_t selector; + uint16_t selector; uint_t limit; - ullong_t base; + uint64_t base; uint_t type : 4; uint_t system : 1; uint_t dpl : 2; @@ -110,13 +110,15 @@ struct v3_segments { struct shadow_page_state; struct v3_intr_state; -struct v3_profiler; +#ifdef CONFIG_PROFILE_VMM +struct v3_profiler; +#endif struct guest_info { - ullong_t rip; + uint64_t rip; uint_t cpl; @@ -163,9 +165,14 @@ struct guest_info { v3_vm_operating_mode_t run_state; void * vmm_data; + uint64_t yield_cycle_period; + uint64_t yield_start_cycle; + +#ifdef CONFIG_PROFILE_VMM uint_t enable_profiler; struct v3_profiler profiler; +#endif void * decoder_state; };