idx_from_vl
idx_from_vl(vl));
tmp = read_dev_cntr(dd, C_DC_RX_FLIT_VL, idx_from_vl(vl));
idx_from_vl(vl)));
idx_from_vl(vl)));
idx_from_vl(vl)));
idx_from_vl(vl)));
idx_from_vl(vl)));
idx_from_vl(vl)));
idx_from_vl(vl)));
idx_from_vl(vl));
idx_from_vl(vl)));
idx_from_vl(vl)));
idx_from_vl(vl)));
idx_from_vl(vl)));
idx_from_vl(vl)));
idx_from_vl(vl)));
idx_from_vl(vl)));
idx_from_vl(vl)));
write_port_cntr(ppd, C_TX_FLIT_VL, idx_from_vl(vl), 0);
write_dev_cntr(dd, C_DC_RX_FLIT_VL, idx_from_vl(vl), 0);
write_port_cntr(ppd, C_TX_PKT_VL, idx_from_vl(vl), 0);
write_dev_cntr(dd, C_DC_RX_PKT_VL, idx_from_vl(vl), 0);
write_port_cntr(ppd, C_TX_WAIT_VL, idx_from_vl(vl), 0);
ppd->port_vl_xmit_wait_last[idx_from_vl(vl)] = 0;
ppd->vl_xmit_flit_cnt[idx_from_vl(vl)] = 0;
write_dev_cntr(dd, C_DC_RCV_FCN_VL, idx_from_vl(vl), 0);
write_dev_cntr(dd, C_DC_RCV_BCN_VL, idx_from_vl(vl), 0);
write_dev_cntr(dd, C_DC_RCV_BBL_VL, idx_from_vl(vl), 0);
idx_from_vl(vl), 0);