efx_tc_read48
packet_count = efx_tc_read48((const __le16 *)packet_count_p);
byte_count = efx_tc_read48((const __le16 *)byte_count_p);