diagfn_t           41 sys/kern/debug.c typedef void (*diagfn_t)(char *);
diagfn_t           45 sys/kern/debug.c static diagfn_t	db_puts = &diag_puts;		/* function to print string */