X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=6eb1cc98808497516f9e6b735a884596be5a469b;hb=d4073a9dbe24ae160b8d6bd8fd5fd4ad8aa995a3;hp=2582cf0ab3783aed71747d48e1fd14d2b7b69bfb;hpb=08a79dd2e3c75109539bdce50c049303b1fb0912;p=palacios.releases.git

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index 2582cf0..6eb1cc9 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -121,6 +121,8 @@ struct guest_info {
 };
 
 
+void PrintV3Segments(struct v3_segments * segs);
+void PrintV3CtrlRegs(struct v3_ctrl_regs * regs);