*/
XBT_PUBLIC(double) surf_host_get_power_peak_at(sg_host_t host, int pstate_index);
-XBT_PUBLIC(void) surf_host_set_pstate(sg_host_t host, int pstate_index);
XBT_PUBLIC(double) surf_host_get_wattmin_at(sg_host_t resource, int pstate);
XBT_PUBLIC(double) surf_host_get_wattmax_at(sg_host_t resource, int pstate);