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=88e3ccee1afd898fab89e18b7760836c7248034c;hpb=651e3672545ee1d510231995dfbc184d98c3686b;p=palacios.git

diff --git a/palacios/include/palacios/vmm_telemetry.h b/palacios/include/palacios/vmm_telemetry.h
index 88e3cce..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>
@@ -53,11 +53,15 @@ struct v3_core_telemetry {
 
 void v3_init_telemetry(struct v3_vm_info * vm);
 void v3_init_core_telemetry(struct guest_info * info);
+void v3_deinit_telemetry(struct v3_vm_info * vm);
+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,