diff --git a/hw/kdrive/src/kdrive.h b/hw/kdrive/src/kdrive.h
index 30d74f9c8..8a62faf1c 100644
--- a/hw/kdrive/src/kdrive.h
+++ b/hw/kdrive/src/kdrive.h
@@ -582,10 +582,6 @@ KdRingBell (KdKeyboardInfo      *ki,
             int                 pitch,
             int                 duration);
 
-extern KdPointerDriver	VxWorksMouseDriver;
-extern KdKeyboardDriver	VxWorksKeyboardDriver;
-extern KdOsFuncs	VxWorksFuncs;
-
 /* kmap.c */
 
 #define KD_MAPPED_MODE_REGISTERS    0