-void surf_vm_destroy(sg_host_t resource){
- /* We deregister objects from host_lib, without invoking the freeing callback
- * of each level.
- *
- * Do not call xbt_lib_remove() here. It deletes all levels of the key,
- * including MSG_HOST_LEVEL and others. We should unregister only what we know.
- */
- resource->p_cpu = nullptr; // FIXME: memleaking?
- sg_host_edge_destroy(resource,1);
- resource->extension_set<simgrid::surf::Host>(nullptr);
-
- /* TODO: comment out when VM storage is implemented. */
- // host->extension_set(SURF_STORAGE_LEVEL, nullptr);