void net_rx_pkt_dump(struct NetRxPkt *pkt)

{

#ifdef NET_RX_PKT_DEBUG

    assert(pkt);



    printf("RX PKT: tot_len: %d, vlan_stripped: %d, vlan_tag: %d\n",

              pkt->tot_len, pkt->vlan_stripped, pkt->tci);

#endif

}

void net_rx_pkt_dump(struct NetRxPkt *pkt)

{

#ifdef NET_RX_PKT_DEBUG

    assert(pkt);



    printf("RX PKT: tot_len: %d, vlan_stripped: %d, vlan_tag: %d\n",

              pkt->tot_len, pkt->vlan_stripped, pkt->tci);

#endif

}

    printf("RX PKT: tot_len: %d, vlan_stripped: %d, vlan_tag: %d\n",               pkt->tot_len, pkt->vlan_stripped, pkt->tci);
void FUNC_0(struct NetRxPkt *VAR_0)

{

#ifdef NET_RX_PKT_DEBUG

    assert(VAR_0);



    printf("RX PKT: tot_len: %d, vlan_stripped: %d, vlan_tag: %d\n",

              VAR_0->tot_len, VAR_0->vlan_stripped, VAR_0->tci);

#endif

}

void FUNC_0(struct NetRxPkt *VAR_0)
{ #ifdef NET_RX_PKT_DEBUG
assert(VAR_0); printf("RX PKT: tot_len: %d, vlan_stripped: %d, vlan_tag: %d\n",
VAR_0->tot_len, VAR_0->vlan_stripped, VAR_0->tci); #endif
}