-void surf_workstation_set_params(surf_resource_t resource, ws_params_t params){
- get_casted_workstation(resource)->setParams(params);
-}
+void surf_vm_destroy(surf_resource_t resource){
+ /* Before clearing the entries in host_lib, we have to pick up resources. */
+ CpuPtr cpu = get_casted_cpu(resource);
+ VMPtr vm = get_casted_vm(resource);
+ RoutingEdgePtr routing = get_casted_routing(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.
+ */
+ xbt_lib_unset(host_lib, name, SURF_CPU_LEVEL, 0);
+ xbt_lib_unset(host_lib, name, ROUTING_HOST_LEVEL, 0);
+ xbt_lib_unset(host_lib, name, SURF_HOST_LEVEL, 0);