808 	int		 scancode, keycode;  in vkbd_read_char()  local
844 	keycode = scancode & 0x7F;  in vkbd_read_char()
869 		switch (keycode) {  in vkbd_read_char()
871 			keycode = 0x59;  in vkbd_read_char()
874 			keycode = 0x5A;  in vkbd_read_char()
877 			keycode = 0x5B;  in vkbd_read_char()
880 			keycode = 0x5C;  in vkbd_read_char()
883 			keycode = 0x5D;  in vkbd_read_char()
886 			keycode = 0x68;  in vkbd_read_char()
889 			keycode = 0x5E;  in vkbd_read_char()
892 			keycode = 0x5F;  in vkbd_read_char()
895 			keycode = 0x60;  in vkbd_read_char()
898 			keycode = 0x61;  in vkbd_read_char()
901 			keycode = 0x62;  in vkbd_read_char()
904 			keycode = 0x63;  in vkbd_read_char()
907 			keycode = 0x64;  in vkbd_read_char()
910 			keycode = 0x65;  in vkbd_read_char()
913 			keycode = 0x66;  in vkbd_read_char()
916 			keycode = 0x67;  in vkbd_read_char()
920 			keycode = 0x69;  in vkbd_read_char()
923 			keycode = 0x6a;  in vkbd_read_char()
926 			keycode = 0x6b;  in vkbd_read_char()
929 			keycode = 0x6d;  in vkbd_read_char()
932 			keycode = 0x6e;  in vkbd_read_char()
935 			keycode = 0x6f;  in vkbd_read_char()
949 		if (keycode == 0x1D)  in vkbd_read_char()
955 		if (keycode != 0x45)  in vkbd_read_char()
957 		keycode = 0x68;  in vkbd_read_char()
962 		switch (keycode) {  in vkbd_read_char()
965 				keycode = 0x5c;	/* print screen */  in vkbd_read_char()
969 				keycode = 0x68;	/* pause */  in vkbd_read_char()
973 				keycode = 0x6c;	/* break */  in vkbd_read_char()
977 		switch (keycode) {  in vkbd_read_char()
980 				keycode = 0x54;	/* sysrq */  in vkbd_read_char()
984 				keycode = 0x6c;	/* break */  in vkbd_read_char()
992 		return (keycode | (scancode & 0x80));  in vkbd_read_char()
997 		switch (keycode | (scancode & 0x80)) {  in vkbd_read_char()
1001 			state->ks_composed_char += keycode - 0x40;  in vkbd_read_char()
1009 			state->ks_composed_char += keycode - 0x47;  in vkbd_read_char()
1017 			state->ks_composed_char += keycode - 0x4E;  in vkbd_read_char()
1053 	action = genkbd_keyaction(kbd, keycode, scancode & 0x80,  in vkbd_read_char()