+
+ /* cpu_model is registered only to model_list, and not to
+ * model_list_invoke. The shared_resource callback function will be called
+ * from that of the workstation model. */
+ xbt_dynar_push(model_list, &cpu_model);
+}
+
+void surf_cpu_model_init_Cas01(void)
+{
+ create_cpu_model_object(surf_cpu_model_pm);
+ create_cpu_model_object(surf_cpu_model_vm);