RXE_POOL_INDEX     60 drivers/infiniband/sw/rxe/rxe_pool.c 		.flags		= RXE_POOL_INDEX | RXE_POOL_NO_ALLOC,
RXE_POOL_INDEX     68 drivers/infiniband/sw/rxe/rxe_pool.c 		.flags		= RXE_POOL_INDEX,
RXE_POOL_INDEX     82 drivers/infiniband/sw/rxe/rxe_pool.c 		.flags		= RXE_POOL_INDEX,
RXE_POOL_INDEX     89 drivers/infiniband/sw/rxe/rxe_pool.c 		.flags		= RXE_POOL_INDEX,
RXE_POOL_INDEX    222 drivers/infiniband/sw/rxe/rxe_pool.c 	if (rxe_type_info[type].flags & RXE_POOL_INDEX) {