X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=831d146c11aa63af0fed7aa2b2ca105654a71767;hp=bbfc22d77d8a12c2b7e7451b3a9c56d2106e6901;hb=7c9087090f06a3fdf041f650912c36b6b12d7a82;hpb=2b21111e5aec30a54f47383a11b179b0bd226463 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