RCV_HDR_TAIL     8420 drivers/infiniband/hw/hfi1/chip.c 	tail = (u32)read_uctxt_csr(rcd->dd, rcd->ctxt, RCV_HDR_TAIL);
RCV_HDR_TAIL     11838 drivers/infiniband/hw/hfi1/chip.c 		tail = read_uctxt_csr(rcd->dd, rcd->ctxt, RCV_HDR_TAIL);
RCV_HDR_TAIL     1757 drivers/infiniband/hw/hfi1/driver.c 		   read_uctxt_csr(rcd->dd, rcd->ctxt, RCV_HDR_TAIL));