Searched refs:public_pool (Results 1 – 1 of 1) sorted by relevance
1005 DescriptorPool *public_pool = UNBOX(DescriptorPool, getThis()); in PHP_METHOD() local1006 InternalDescriptorPool *pool = public_pool->intern; in PHP_METHOD()1042 DescriptorPool *public_pool = UNBOX(DescriptorPool, getThis()); in PHP_METHOD() local1043 InternalDescriptorPool *pool = public_pool->intern; in PHP_METHOD()