frsh_resource_id_t resource_id,
frsh_power_level_t *power_level);
+/**
+ * frsh_resource_get_speed()
+ *
+ * Get in speed_ratio representative value for the speed of the specified
+ * resource, with respect to the maximum possible speed for such resource.
+ *
+ * @note
+ * Only implementation for resource_type = FRSH_RT_PROCESSOR is mandatory,
+ * if the energy management module is present.
+ **/
+int frsh_resource_get_speed(frsh_resource_type_t resource_type,
+ frsh_resource_id_t resource_id,
+ frsh_power_level_t power_level,
+ double *speed_ratio);
+
/**
* frsh_resource_get_num_power_levels()
*
*/
int frsh_resource_get_num_power_levels(frsh_resource_type_t resource_type,
frsh_resource_id_t resource_id,
- frsh_power_level_t *num_power_levels);
+ int *num_power_levels);
//////////////////////////////////////////////////////////////////////
// BATTERY EXPIRATION AND MANAGING POWER LEVELS