Searched refs:get_generated_pool (Results 1 – 4 of 4) sorted by relevance
6 $pool = get_generated_pool();
39 ZEND_FE(get_generated_pool, NULL)
210 PHP_FUNCTION(get_generated_pool);
98 ZEND_FUNCTION(get_generated_pool) { in ZEND_FUNCTION() argument