RXE_POOL_KEY       97 drivers/infiniband/sw/rxe/rxe_pool.c 		.flags		= RXE_POOL_KEY,
RXE_POOL_KEY      230 drivers/infiniband/sw/rxe/rxe_pool.c 	if (rxe_type_info[type].flags & RXE_POOL_KEY) {