kbd_reset         240 arch/i386/i386/machdep.c int kbd_reset;
kbd_reset        3326 arch/i386/i386/machdep.c 			    kbd_reset));
kbd_reset        3329 arch/i386/i386/machdep.c 			    &kbd_reset));
kbd_reset         246 dev/wscons/wskbd.c extern int kbd_reset;
kbd_reset        1469 dev/wscons/wskbd.c 		if (kbd_reset == 1) {
kbd_reset        1470 dev/wscons/wskbd.c 			kbd_reset = 0;