surf_workstation_resource->extension_public->get_state(h->simdata->host);
xbt_assert0((cpustate == SURF_CPU_ON || cpustate == SURF_CPU_OFF),
surf_workstation_resource->extension_public->get_state(h->simdata->host);
xbt_assert0((cpustate == SURF_CPU_ON || cpustate == SURF_CPU_OFF),