ack_kpsn         4492 drivers/infiniband/hw/hfi1/tid_rdma.c 	u32 aeth, psn, req_psn, ack_psn, flpsn, resync_psn, ack_kpsn;
ack_kpsn         4513 drivers/infiniband/hw/hfi1/tid_rdma.c 		ack_kpsn = resync_psn;
ack_kpsn         4515 drivers/infiniband/hw/hfi1/tid_rdma.c 		ack_kpsn = psn;
ack_kpsn         4518 drivers/infiniband/hw/hfi1/tid_rdma.c 		ack_kpsn--;
ack_kpsn         4540 drivers/infiniband/hw/hfi1/tid_rdma.c 	while (cmp_psn(ack_kpsn,