X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=a3a48883ea1d14cb4b71949cd3e01c5b179ce4ae;hp=c17fba60d43911902250224fe7ee6dccf4e45c0a;hb=ec5d14e0646389db39ffc9244bf8204629b74a8e;hpb=794a794cec97cecc8c7de7f8b5fe33381a1e02e0

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index c17fba6..a3a4888 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -180,6 +180,8 @@ const uchar_t * v3_cpu_mode_to_str(v3_cpu_mode_t mode);
 const uchar_t * v3_mem_mode_to_str(v3_mem_mode_t mode);
 
 
+void v3_print_guest_state(struct guest_info * info);
+
 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);