void routing_table_print(routing_table_t table)
{
unsigned int i, j, value;
XBT_INFO("Routing table of %08x:", table->id);
for (i = 0; i <= identifier_size; i++) {
void routing_table_print(routing_table_t table)
{
unsigned int i, j, value;
XBT_INFO("Routing table of %08x:", table->id);
for (i = 0; i <= identifier_size; i++) {