-
- /* 0. Make sure that we already calculated the resource share at the physical
- * machine layer. */
- {
- XBT_ATTRIB_UNUSED Model *ws_model = surf_host_model;
- XBT_ATTRIB_UNUSED Model *vm_ws_model = surf_vm_model;
- XBT_ATTRIB_UNUSED unsigned int index_of_pm_ws_model = xbt_dynar_search(model_list_invoke, &ws_model);
- XBT_ATTRIB_UNUSED unsigned int index_of_vm_ws_model = xbt_dynar_search(model_list_invoke, &vm_ws_model);
- xbt_assert((index_of_pm_ws_model < index_of_vm_ws_model), "Cannot assume surf_host_model comes before");
-
- /* Another option is that we call sub_ws->share_resource() here. The
- * share_resource() function has no side-effect. We can call it here to
- * ensure that. */
- }
-
-