krp_psstart      4774 drivers/infiniband/hw/qib/qib_iba7322.c 		[QIBPORTCNTR_PSSTART] = krp_psstart,
krp_psstart      6730 drivers/infiniband/hw/qib/qib_iba7322.c 	qib_write_kreg_port(ppd, krp_psstart, start);