kernel            136 dev/wscons/wsemul_dumb.c wsemul_dumb_output(cookie, data, count, kernel)
kernel            140 dev/wscons/wsemul_dumb.c 	int kernel; /* ignored */
kernel            236 dev/wscons/wsemul_sun.c wsemul_sun_output_lowchars(edp, c, kernel)
kernel            239 dev/wscons/wsemul_sun.c 	int kernel;
kernel            267 dev/wscons/wsemul_sun.c 			    kernel ? edp->kernattr : edp->bkgdattr);
kernel            284 dev/wscons/wsemul_sun.c 		if (kernel) {
kernel            304 dev/wscons/wsemul_sun.c wsemul_sun_output_normal(edp, c, kernel)
kernel            307 dev/wscons/wsemul_sun.c 	int kernel;
kernel            311 dev/wscons/wsemul_sun.c 	    c, kernel ? edp->kernattr : edp->curattr);
kernel            564 dev/wscons/wsemul_sun.c wsemul_sun_output(cookie, data, count, kernel)
kernel            568 dev/wscons/wsemul_sun.c 	int kernel;
kernel            579 dev/wscons/wsemul_sun.c 	if (kernel && !edp->console)
kernel            593 dev/wscons/wsemul_sun.c 		if ((edp->state == SUN_EMUL_STATE_NORMAL || kernel) &&
kernel            637 dev/wscons/wsemul_sun.c 			wsemul_sun_output_lowchars(edp, *data, kernel);
kernel            641 dev/wscons/wsemul_sun.c 		if (kernel) {
kernel            332 dev/wscons/wsemul_vt100.c wsemul_vt100_output_normal(edp, c, kernel)
kernel            335 dev/wscons/wsemul_vt100.c 	int kernel;
kernel            363 dev/wscons/wsemul_vt100.c 				 kernel ? edp->kernattr : edp->curattr);
kernel            372 dev/wscons/wsemul_vt100.c wsemul_vt100_output_c0c1(edp, c, kernel)
kernel            375 dev/wscons/wsemul_vt100.c 	int kernel;
kernel            416 dev/wscons/wsemul_vt100.c 		if (kernel) {
kernel            958 dev/wscons/wsemul_vt100.c wsemul_vt100_output(cookie, data, count, kernel)
kernel            962 dev/wscons/wsemul_vt100.c 	int kernel;
kernel            972 dev/wscons/wsemul_vt100.c 	if (kernel && !edp->console)
kernel            986 dev/wscons/wsemul_vt100.c 		if ((edp->state == VT100_EMUL_STATE_NORMAL || kernel) &&
kernel           1048 dev/wscons/wsemul_vt100.c 			wsemul_vt100_output_c0c1(edp, *data, kernel);
kernel           1052 dev/wscons/wsemul_vt100.c 		if (edp->state == VT100_EMUL_STATE_NORMAL || kernel) {
kernel           1053 dev/wscons/wsemul_vt100.c 			wsemul_vt100_output_normal(edp, *data, kernel);