+/* returns a NULL-terminated array of network_link_KCCFLN05_t */
+static const void** get_route(void *src, void *dst) {
+ cpu_KCCFLN05_t card_src = src;
+ cpu_KCCFLN05_t card_dst = dst;
+ route_KCCFLN05_t route = &(ROUTE(card_src->id, card_dst->id));
+ int route_size = route->size;
+
+ /* add NULL at the end of the array if not present */
+ route->links = xbt_realloc(route->links, (route_size+1) * sizeof(route_KCCFLN05_t));
+ route->links[route_size] = NULL;
+
+ return (const void**) route->links;
+}