RXE_POOL_STATE_INVALID  245 drivers/infiniband/sw/rxe/rxe_pool.c 	pool->state = RXE_POOL_STATE_INVALID;
RXE_POOL_STATE_INVALID  259 drivers/infiniband/sw/rxe/rxe_pool.c 	pool->state = RXE_POOL_STATE_INVALID;