+static double get_speed(void *workstation, double load)
+{
+ return surf_cpu_resource->extension_public->
+ get_speed(((workstation_CLM03_t) workstation)->cpu, load);
+}
+
+static double get_available_speed(void *workstation)
+{
+ return surf_cpu_resource->extension_public->
+ get_available_speed(((workstation_CLM03_t) workstation)->cpu);
+}
+