diff --git a/usr/src/uts/common/io/kb8042/kb8042.c b/usr/src/uts/common/io/kb8042/kb8042.c
index c0669e08c7..0edbc83ecf 100644
--- a/usr/src/uts/common/io/kb8042/kb8042.c
+++ b/usr/src/uts/common/io/kb8042/kb8042.c
@@ -88,7 +88,7 @@ static kbtrans_key_t keytab_pc2usb[KBTRANS_KEYNUMS_MAX] = {
 /* 120 */	66,	67,	68,	69,	70,	71,	72,	0,
 /* 128 */	0,	0,	0,	139,	138,	136,	0,	0,
 /* 136 */	0,	0,	0,	0,	0,	0,	0,	0,
-/* 144 */	0,	0,	0,	0,	0,	0,	0,	0,
+/* 144 */	0,	0,	0,	0,	0,	0,	144,	145,
 /* 152 */	0,	0,	0,	0,	0,	0,	0,	0,
 /* 160 */	120,	0,	0,	0,	0,	0,	0,	0,
 /* 168 */	0,	0,	0,	0,	0,	0,	0,	0,
@@ -1125,7 +1125,7 @@ kb8042_received_byte(
 	 */
 	if (synthetic_release_needed) {
 		(void) kb8042_autorepeat_detect(kb8042, key_pos, KEY_RELEASED);
-		kb8042_process_key(kb8042, key_pos, state);
+		kb8042_process_key(kb8042, key_pos, KEY_RELEASED);
 	}
 }