-void surf_vm_destroy(surf_resource_t resource){
- /* Before clearing the entries in host_lib, we have to pick up resources. */
- VirtualMachine *vm = get_casted_vm(resource);
- char* name = xbt_dict_get_elm_key(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.
- */
- sg_host_surfcpu_destroy((sg_host_t)resource);
- sg_host_edge_destroy((sg_host_t)resource,1);
- xbt_lib_unset(host_lib, name, SURF_HOST_LEVEL, 0);
-
- /* TODO: comment out when VM storage is implemented. */
- // xbt_lib_unset(host_lib, name, SURF_STORAGE_LEVEL, 0);
-
- delete vm;