From a894f5842f34d03cc01ebe28e689950016a59f87 Mon Sep 17 00:00:00 2001
From: Philip Homburg <philip@cs.vu.nl>
Date: Thu, 10 Nov 2005 15:41:25 +0000
Subject: [PATCH] Larger raw keyboard/kbdaux buffer

---
 drivers/tty/keyboard.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/drivers/tty/keyboard.c b/drivers/tty/keyboard.c
index dae40932c..0f66f2ad1 100644
--- a/drivers/tty/keyboard.c
+++ b/drivers/tty/keyboard.c
@@ -59,7 +59,7 @@ int aux_irq_hook_id = -1;
 #define INS_SCAN	0x52	/* INS for use in CTRL-ALT-INS reboot */
 #define DEL_SCAN	0x53	/* DEL for use in CTRL-ALT-DEL reboot */
 
-#define KBD_BUFSZ	64	/* Buffer size for raw scan codes */
+#define KBD_BUFSZ	1024	/* Buffer size for raw scan codes */
 #define KBD_OUT_BUFSZ	16	/* Output buffer to sending data to the
 				 * keyboard.
 				 */
@@ -471,7 +471,11 @@ message *m_ptr;
   {
 	/* raw scan codes or aux data */
 	if (kbdp->avail >= KBD_BUFSZ)
+	{
+		printf("kbd_interrupt: %s buffer is full\n",
+			isaux ? "kbdaux" : "keyboard");
 		return;	/* Buffer is full */
+	}
 	 o= (kbdp->offset + kbdp->avail) % KBD_BUFSZ;
 	 kbdp->buf[o]= scode;
 	 kbdp->avail++;