X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=b5d481c4bc9b06a83aa28a752f787b6f65229b10;hp=d8444a600e88f5808a1ae4c1b905c0e33455cce0;hb=cd012ba87f57c1c694038f1a17f249f90f9a2be8;hpb=ed8feff1d5dd6bf028cd5ba0960ec125505d7597

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index d8444a6..b5d481c 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -232,6 +232,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