+static double ws_get_current_power_peak(void *workstation)
+{
+ return surf_cpu_model->extension.cpu.
+ get_current_power_peak(workstation);
+}
+
+static double ws_get_power_peak_at(void *workstation, int pstate_index)
+{
+ return surf_cpu_model->extension.cpu.
+ get_power_peak_at(workstation, pstate_index);
+}
+
+static int ws_get_nb_pstates(void *workstation)
+{
+ return surf_cpu_model->extension.cpu.
+ get_nb_pstates(workstation);
+}
+
+static void ws_set_power_peak_at(void *workstation, int pstate_index)
+{
+ surf_cpu_model->extension.cpu.
+ set_power_peak_at(workstation, pstate_index);
+}
+
+static double ws_get_consumed_energy(void *workstation)
+{
+ return surf_cpu_model->extension.cpu.
+ get_consumed_energy(workstation);
+}
+
+