RCV_HDR_CNT      13814 drivers/infiniband/hw/hfi1/chip.c 		write_kctxt_csr(dd, i, RCV_HDR_CNT, 0);
RCV_HDR_CNT      1886 drivers/infiniband/hw/hfi1/init.c 	write_kctxt_csr(dd, rcd->ctxt, RCV_HDR_CNT, reg);