X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_telemetry.h;h=a9fd4b75ff3581aa057cad56c9f4db918e2a669d;hb=c3e451f106e9594b46d7c3dd3c4fdd610d7a2c03;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..a9fd4b7 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,7 +59,9 @@ 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,