*** empty log message ***

[palacios.git] / palacios / include / palacios / vm_guest.h

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index 2582cf0..6eb1cc9 100644 (file)
--- 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);