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 */