phpdbg_print      227 sapi/phpdbg/phpdbg_utils.c PHPDBG_API int phpdbg_print(int type TSRMLS_DC, FILE *fp, const char *format, ...) /* {{{ */
phpdbg_print       48 sapi/phpdbg/phpdbg_utils.h PHPDBG_API int phpdbg_print(int TSRMLS_DC, FILE*, const char*, ...) PHP_ATTRIBUTE_FORMAT(printf, 4, 5);