X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=650665803a39764c16b8ac2a559d2e7d83649626;hp=d8444a600e88f5808a1ae4c1b905c0e33455cce0;hb=123a1ba27ea09c8fa77a1b36ce625b43d7c48b14;hpb=ed8feff1d5dd6bf028cd5ba0960ec125505d7597 diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h index d8444a6..6506658 100644 --- a/palacios/include/palacios/vm_guest.h +++ b/palacios/include/palacios/vm_guest.h @@ -48,6 +48,8 @@ + + struct v3_gprs { v3_reg_t rdi; v3_reg_t rsi; @@ -124,6 +126,8 @@ struct v3_segments { #include #endif +#include + struct shadow_page_state; struct v3_intr_state; @@ -147,6 +151,8 @@ struct guest_info { addr_t mem_size; // In bytes for now v3_shdw_map_t mem_map; + struct v3_config * cfg_data; + v3_vm_class_t vm_class; struct vm_time time_state; @@ -232,6 +238,8 @@ void v3_print_segments(struct guest_info * info); void v3_print_ctrl_regs(struct guest_info * info); void v3_print_GPRs(struct guest_info * info); +void v3_print_stack(struct guest_info * info); + #endif // ! __V3VEE__ #endif