diff --git a/hw/kdrive/src/kdrive.h b/hw/kdrive/src/kdrive.h
index 6c2f29309..293798aa0 100644
--- a/hw/kdrive/src/kdrive.h
+++ b/hw/kdrive/src/kdrive.h
@@ -551,9 +551,6 @@ void
 void
  KdEnableInput(void);
 
-void
- ProcessInputEvents(void);
-
 void
  KdRingBell(KdKeyboardInfo * ki, int volume, int pitch, int duration);
 
diff --git a/hw/kdrive/src/kinput.c b/hw/kdrive/src/kinput.c
index e16fe78f2..66cdf675a 100644
--- a/hw/kdrive/src/kinput.c
+++ b/hw/kdrive/src/kinput.c
@@ -702,8 +702,6 @@ KdKbdCtrl(DeviceIntPtr pDevice, KeybdCtrl * ctrl)
     ki->bellDuration = ctrl->bell_duration;
 }
 
-extern KeybdCtrl defaultKeyboardControl;
-
 static int
 KdKeyboardProc(DeviceIntPtr pDevice, int onoff)
 {