+ printf("actionC : %p (%s)\n", actionB, string_action(stateActionC));
+
+ /*********************** Network *******************************/
+ printf("%p \n", surf_network_resource);
+ cardA = surf_network_resource->common_public->name_service("Cpu A");
+ cardB = surf_network_resource->common_public->name_service("Cpu B");
+
+ /* Let's check that those two processors exist */
+ printf("%s : %p\n",
+ surf_network_resource->common_public->get_resource_name(cardA),
+ cardA);
+ printf("%s : %p\n",
+ surf_network_resource->common_public->get_resource_name(cardB),
+ cardB);