X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_telemetry.h;h=8fab6837569b461a5cdd9f8e5aa2143e47622d76;hb=999bf1e5f8fdfff9b15fab0d30a958ff59f0c734;hp=88e3ccee1afd898fab89e18b7760836c7248034c;hpb=651e3672545ee1d510231995dfbc184d98c3686b;p=palacios-OLD.git

diff --git a/palacios/include/palacios/vmm_telemetry.h b/palacios/include/palacios/vmm_telemetry.h
index 88e3cce..8fab683 100644
--- a/palacios/include/palacios/vmm_telemetry.h
+++ b/palacios/include/palacios/vmm_telemetry.h
@@ -53,6 +53,8 @@ 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);