delayed_outbuf     85 kern/dev/generic/console.c static char delayed_outbuf[DELAYBUFSIZE];
delayed_outbuf     97 kern/dev/generic/console.c 	KASSERT(delayed_outbuf_pos < sizeof(delayed_outbuf));
delayed_outbuf     98 kern/dev/generic/console.c 	delayed_outbuf[delayed_outbuf_pos++] = ch;
delayed_outbuf    107 kern/dev/generic/console.c 		putch(delayed_outbuf[i]);