diag_puts         139 sys/include/hal.h void	  diag_puts(char *);
diag_puts          45 sys/kern/debug.c static diagfn_t	db_puts = &diag_puts;		/* function to print string */