- * This accounts for external load (see @ref set_speed_trace()).
- */
- virtual double get_speed_ratio();
-
- /** @brief Get the peak processor speed (in flops/s), at the specified pstate */
- virtual double get_pstate_peak_speed(int pstate_index) const;
-
- virtual int get_pstate_count() const;
- virtual void set_pstate(int pstate_index);
- virtual int get_pstate() const;
-
- simgrid::s4u::Host* get_host() { return host_; }
-
-private:
- int core_count_ = 1;
- simgrid::s4u::Host* host_;
-
- int pstate_ = 0; /*< Current pstate (index in the speed_per_pstate_)*/
- const std::vector<double> speed_per_pstate_; /*< List of supported CPU capacities (pstate related) */
-
-public:
- /*< @brief Setup the trace file with availability events (peak speed changes due to external load).
- * Trace must contain relative values (ratio between 0 and 1)
- */
- virtual void set_speed_profile(kernel::profile::Profile* profile);
+ * Used to reset a VCPU when its VM migrates to another host, so it only resets the fields that should be in this
+ *case.
+ **/
+ virtual void reset_vcpu(Cpu* that);