php__flush_buffer 1831 htags/php.c        void php__flush_buffer (YY_BUFFER_STATE  b )
php__flush_buffer 1941 libparser/php.c     void php__flush_buffer (YY_BUFFER_STATE  b )