phpdbg_mixed_read   88 sapi/phpdbg/phpdbg_io.c 	} while ((bytes = phpdbg_mixed_read(PHPDBG_G(io)[PHPDBG_STDIN].fd, buf + len, PHPDBG_MAX_CMD - len, -1)) > 0);
phpdbg_mixed_read   33 sapi/phpdbg/phpdbg_io.h PHPDBG_API int phpdbg_mixed_read(int sock, char *ptr, int len, int tmo);