/* Let's check that those two processors exist */
XBT_DEBUG("%s : %p", surf_resource_name(cardA), cardA);
XBT_DEBUG("%s : %p", surf_resource_name(cardB), cardB);
/* Let's do something on it */
/* Let's check that those two processors exist */
XBT_DEBUG("%s : %p", surf_resource_name(cardA), cardA);
XBT_DEBUG("%s : %p", surf_resource_name(cardB), cardB);
/* Let's do something on it */