rsvd_pbl_addr     713 drivers/infiniband/hw/cxgb3/cxio_hal.c 		tpt.rsvd_pbl_addr = cpu_to_be32(V_TPT_PBL_ADDR(PBL_OFF(rdev_p, pbl_addr)>>3));
rsvd_pbl_addr     476 drivers/infiniband/hw/cxgb3/cxio_wr.h 	__be32 rsvd_pbl_addr;