php_deactivate_ticks 1768 main/main.c    	php_deactivate_ticks();
php_deactivate_ticks   25 main/php_ticks.h void php_deactivate_ticks(void);