- void set_state_profile(kernel::profile::Profile* p);
- void set_speed_profile(kernel::profile::Profile* p);
+ Host* set_state_profile(kernel::profile::Profile* p);
+ Host* set_speed_profile(kernel::profile::Profile* p);
+
+ /** @brief Convert the CPU's speed from string to double */
+ static std::vector<double> convert_pstate_speed_vector(const std::vector<std::string>& speed_per_state);
+ /**
+ * @brief Set the CPU's speed
+ *
+ * @param speed_per_state list of powers for this processor (default power is at index 0)
+ */
+ Host* set_pstate_speed(const std::vector<double>& speed_per_state);
+ /**
+ * @brief Set the CPU's speed (string version)
+ *
+ * @throw std::invalid_argument if speed format is incorrect.
+ */
+ Host* set_pstate_speed(const std::vector<std::string>& speed_per_state);