ibpsn            2650 drivers/infiniband/hw/hfi1/tid_rdma.c 				     u8 rte, u32 psn, u32 ibpsn)
ibpsn            2667 drivers/infiniband/hw/hfi1/tid_rdma.c 	trace_hfi1_rsp_read_kdeth_eflags(qp, ibpsn);
ibpsn            2672 drivers/infiniband/hw/hfi1/tid_rdma.c 	if (cmp_psn(ibpsn, qp->s_last_psn) < 0 ||
ibpsn            2673 drivers/infiniband/hw/hfi1/tid_rdma.c 	    cmp_psn(ibpsn, qp->s_psn) > 0)
ibpsn            2681 drivers/infiniband/hw/hfi1/tid_rdma.c 	ack_psn = ibpsn - 1;
ibpsn            2851 drivers/infiniband/hw/hfi1/tid_rdma.c 	u32 qp_num, psn, ibpsn;
ibpsn            2914 drivers/infiniband/hw/hfi1/tid_rdma.c 		ibpsn = be32_to_cpu(ohdr->u.tid_rdma.r_rsp.verbs_psn);
ibpsn            2915 drivers/infiniband/hw/hfi1/tid_rdma.c 		ibpsn = mask_psn(ibpsn);
ibpsn            2917 drivers/infiniband/hw/hfi1/tid_rdma.c 					       ibpsn);