RCV_HDR_SIZE     13816 drivers/infiniband/hw/hfi1/chip.c 		write_kctxt_csr(dd, i, RCV_HDR_SIZE, 0);
RCV_HDR_SIZE     1893 drivers/infiniband/hw/hfi1/init.c 	write_kctxt_csr(dd, rcd->ctxt, RCV_HDR_SIZE, reg);