X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=bc2c814ac7549bc5e0f99d830734907af49f2e78;hb=da3c25c59f558869da8c2d91b28e32d977f33ea9;hp=b295bfc47205c40f3f6b243031c06b94099ecd68;hpb=526ffdd06c1afb982d0d9831b99f337b6a094960;p=palacios.releases.git

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index b295bfc..bc2c814 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -122,9 +122,9 @@ struct guest_info {
 };
 
 
-void PrintV3Segments(struct v3_segments * segs);
-void PrintV3CtrlRegs(struct v3_ctrl_regs * regs);
-
+void PrintV3Segments(struct guest_info * info);
+void PrintV3CtrlRegs(struct guest_info * info);
+void PrintV3GPRs(struct guest_info * info);
 
 
 #endif