RCV_CTXT_CTRL    11893 drivers/infiniband/hw/hfi1/chip.c 	rcvctrl = read_kctxt_csr(dd, ctxt, RCV_CTXT_CTRL);
RCV_CTXT_CTRL    12023 drivers/infiniband/hw/hfi1/chip.c 	write_kctxt_csr(dd, ctxt, RCV_CTXT_CTRL, rcvctrl);
RCV_CTXT_CTRL    13808 drivers/infiniband/hw/hfi1/chip.c 		write_kctxt_csr(dd, i, RCV_CTXT_CTRL, 0);
RCV_CTXT_CTRL    13929 drivers/infiniband/hw/hfi1/chip.c 		write_csr(dd, RCV_CTXT_CTRL, 0);