C_DC_RX_FLIT_VL
[C_DC_RX_FLIT_VL] = DC_PERF_CNTR(DcRxFlitVl, DCC_PRF_PORT_VL_RCV_DATA_CNT,
tmp = read_dev_cntr(dd, C_DC_RX_FLIT_VL, idx_from_vl(vl));
cpu_to_be64(read_dev_cntr(dd, C_DC_RX_FLIT_VL,
write_dev_cntr(dd, C_DC_RX_FLIT_VL, idx_from_vl(vl), 0);