void ethernet_rx_server_wr(chanend rx[], int num_rx) { ethernet_rx_server(&internal_queue, &rx_free_queue, mii_packet_buf, rx, num_rx); }
void ethernet_rx_server_wr(chanend rx[], int num_rx) { ethernet_rx_server( #if ETHERNET_RX_HP_QUEUE rx_mem_hp, #endif rx_mem_lp, rx, num_rx); }