checkpoint changes to get "reset to BIOS" working.

[palacios.git] / palacios / src / palacios / vmm_shadow_paging.c

diff --git a/palacios/src/palacios/vmm_shadow_paging.c b/palacios/src/palacios/vmm_shadow_paging.c
index 9743073..f57ddda 100644 (file)
--- a/palacios/src/palacios/vmm_shadow_paging.c
+++ b/palacios/src/palacios/vmm_shadow_paging.c
@@ -152,9 +152,6 @@ int v3_deinit_shdw_pg_state(struct guest_info * core) {
        return -1;
     }
 
-#ifdef V3_CONFIG_SHADOW_PAGING_TELEMETRY
-    v3_remove_telemetry_cb(core->vm_info, telemetry_cb, NULL);
-#endif
 
     return 0;
 }