Searched defs:public_pool (Results 1 – 1 of 1) sorted by relevance
1005 DescriptorPool *public_pool = UNBOX(DescriptorPool, getThis()); in PHP_METHOD() local1042 DescriptorPool *public_pool = UNBOX(DescriptorPool, getThis()); in PHP_METHOD() local