653 	int		 scancode, keycode;  in kbdmux_read_char()  local
728 	/* translate the scan code into a keycode */  in kbdmux_read_char()
729 	keycode = scancode & 0x7F;  in kbdmux_read_char()
754 		switch (keycode) {  in kbdmux_read_char()
756 			keycode = 0x59;  in kbdmux_read_char()
759 			keycode = 0x5A;  in kbdmux_read_char()
762 			keycode = 0x5B;  in kbdmux_read_char()
765 			keycode = 0x5C;  in kbdmux_read_char()
768 			keycode = 0x5D;  in kbdmux_read_char()
771 			keycode = 0x68;  in kbdmux_read_char()
774 			keycode = 0x5E;  in kbdmux_read_char()
777 			keycode = 0x5F;  in kbdmux_read_char()
780 			keycode = 0x60;  in kbdmux_read_char()
783 			keycode = 0x61;  in kbdmux_read_char()
786 			keycode = 0x62;  in kbdmux_read_char()
789 			keycode = 0x63;  in kbdmux_read_char()
792 			keycode = 0x64;  in kbdmux_read_char()
795 			keycode = 0x65;  in kbdmux_read_char()
798 			keycode = 0x66;  in kbdmux_read_char()
801 			keycode = 0x67;  in kbdmux_read_char()
805 			keycode = 0x69;  in kbdmux_read_char()
808 			keycode = 0x6a;  in kbdmux_read_char()
811 			keycode = 0x6b;  in kbdmux_read_char()
814 			keycode = 0x6d;  in kbdmux_read_char()
817 			keycode = 0x6e;  in kbdmux_read_char()
820 			keycode = 0x6f;  in kbdmux_read_char()
823 			keycode = 0x73;  in kbdmux_read_char()
837 		if (keycode == 0x1D)  in kbdmux_read_char()
843 		if (keycode != 0x45)  in kbdmux_read_char()
845 		keycode = 0x68;  in kbdmux_read_char()
850 	switch (keycode) {  in kbdmux_read_char()
853 			keycode = 0x54;	/* sysrq */  in kbdmux_read_char()
857 			keycode = 0x6c;	/* break */  in kbdmux_read_char()
864 		return (keycode | (scancode & 0x80));  in kbdmux_read_char()
869 		switch (keycode | (scancode & 0x80)) {  in kbdmux_read_char()
873 			state->ks_composed_char += keycode - 0x40;  in kbdmux_read_char()
881 			state->ks_composed_char += keycode - 0x47;  in kbdmux_read_char()
889 			state->ks_composed_char += keycode - 0x4E;  in kbdmux_read_char()
924 	/* keycode to key action */  in kbdmux_read_char()
925 	action = genkbd_keyaction(kbd, keycode, scancode & 0x80,  in kbdmux_read_char()