php_push_buffer_state  311 htags/php.c    void php_push_buffer_state (YY_BUFFER_STATE new_buffer  );
php_push_buffer_state  324 libparser/php.c void php_push_buffer_state (YY_BUFFER_STATE new_buffer  );