X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=831d146c11aa63af0fed7aa2b2ca105654a71767;hb=7c9087090f06a3fdf041f650912c36b6b12d7a82;hp=bbfc22d77d8a12c2b7e7451b3a9c56d2106e6901;hpb=82b8b87c344fcd1eab22e3f3be5ad54cbb3f8f68;p=palacios.git diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h index bbfc22d..831d146 100644 --- a/palacios/include/palacios/vm_guest.h +++ b/palacios/include/palacios/vm_guest.h @@ -32,10 +32,17 @@ #include #include #include -#include #include +#ifdef CONFIG_PROFILE_VMM +#include +#endif + +#ifdef CONFIG_SYMBIOTIC_SWAP +#include +#endif + struct v3_gprs { v3_reg_t rdi; @@ -115,6 +122,9 @@ struct v3_intr_state; struct v3_profiler; #endif +#ifdef CONFIG_SYMBIOTIC_SWAP +struct v3_sym_swap_state; +#endif struct guest_info { @@ -174,6 +184,11 @@ struct guest_info { struct v3_profiler profiler; #endif + +#ifdef CONFIG_SYMBIOTIC_SWAP + struct v3_sym_swap_state swap_state; +#endif + void * decoder_state; }; @@ -195,6 +210,4 @@ void v3_print_GPRs(struct guest_info * info); #endif // ! __V3VEE__ - - #endif