X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm.h;h=fb89f280a9ec60975e83d934278db4b04ac208e6;hp=87d50edbbb48143bed1defcb30b84d09b33943ff;hb=cfcc5717f659b3ed2954f41cf363d3bceae8dc84;hpb=5f0b4f8c5f9f53cea37dde072b37d09ba316487d

diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h
index 87d50ed..fb89f28 100644
--- a/palacios/include/palacios/vmm.h
+++ b/palacios/include/palacios/vmm.h
@@ -196,6 +196,7 @@ v3_cpu_mode_t v3_get_host_cpu_mode();
 
 void v3_yield(struct guest_info * info);
 void v3_yield_cond(struct guest_info * info);
+void v3_print_cond(const char * fmt, ...);
 
 
 void v3_interrupt_cpu(struct guest_info * vm, int logical_cpu);