X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_telemetry.h;h=e2069fb943b2d2cf8e411a58e25ce024c54835f4;hb=d389e7022c2afa3fb72bc87ab7b324fd9183e5b1;hp=8fab6837569b461a5cdd9f8e5aa2143e47622d76;hpb=aac189310cca0f5f14543d91413d3b5b58250a3e;p=palacios.git

diff --git a/palacios/include/palacios/vmm_telemetry.h b/palacios/include/palacios/vmm_telemetry.h
index 8fab683..e2069fb 100644
--- a/palacios/include/palacios/vmm_telemetry.h
+++ b/palacios/include/palacios/vmm_telemetry.h
@@ -22,7 +22,7 @@
 
 #ifdef __V3VEE__
 
-#ifdef CONFIG_TELEMETRY
+#ifdef V3_CONFIG_TELEMETRY
 
 #include <palacios/vmm_rbtree.h>
 #include <palacios/vmm_list.h>
@@ -59,13 +59,16 @@ void v3_deinit_core_telemetry(struct guest_info * core);
 void v3_telemetry_start_exit(struct guest_info * info);
 void v3_telemetry_end_exit(struct guest_info * info, uint_t exit_code);
 
-void v3_print_telemetry(struct v3_vm_info * vm);
+void v3_print_core_telemetry(struct guest_info * core);
+void v3_print_global_telemetry(struct v3_vm_info * vm);
+void v3_print_telemetry(struct v3_vm_info * vm, struct guest_info * core);
 
 
 void v3_add_telemetry_cb(struct v3_vm_info * vm, 
 			 void (*telemetry_fn)(struct v3_vm_info * vm, void * private_data, char * hdr),
 			 void * private_data);
 
+
 #endif
 
 #endif