- SD_HOST_LEVEL = simgrid::Host::add_level(__SD_workstation_destroy);
- SIMIX_HOST_LEVEL = simgrid::Host::add_level(SIMIX_host_destroy);
- simgrid::surf::Cpu::init();
- ROUTING_HOST_LEVEL = simgrid::Host::add_level(routing_asr_host_free);
- USER_HOST_LEVEL = simgrid::Host::add_level(NULL);
+
+ ROUTING_HOST_LEVEL = simgrid::Host::extension_create([](void *p) {
+ delete static_cast<simgrid::surf::RoutingEdge*>(p);
+ });
+
+ SD_HOST_LEVEL = simgrid::Host::extension_create(__SD_workstation_destroy);
+ SIMIX_HOST_LEVEL = simgrid::Host::extension_create(SIMIX_host_destroy);
+ USER_HOST_LEVEL = simgrid::Host::extension_create(NULL);