kr_portcnt       2038 drivers/infiniband/hw/qib/qib_iba6120.c 	dd->ctxtcnt = qib_read_kreg32(dd, kr_portcnt);
kr_portcnt       2272 drivers/infiniband/hw/qib/qib_iba7220.c 	nchipctxts = qib_read_kreg32(dd, kr_portcnt);