void mii_rx_pins_wr(port p1, port p2, int i, streaming chanend c) { mii_rx_pins(&rx_free_queue, mii_packet_buf, p1, p2, i, c); }
void mii_rx_pins_wr(port p1, port p2, int i, streaming chanend c) { mii_rx_pins( #if ETHERNET_RX_HP_QUEUE rx_mem_hp[i], #endif rx_mem_lp[i], p1, p2, i, c); }