db_putchar        669 ddb/db_command.c 			db_putchar(*p);
db_putchar        671 ddb/db_command.c 	db_putchar('\n');
db_putchar        340 ddb/db_input.c 	db_putchar('\n');	/* synch output position */
db_putchar         37 ddb/db_output.h void db_putchar(int);
db_putchar        352 kern/subr_prf.c 		db_putchar(c);