input: Convert i8042 to driver model
[oweals/u-boot.git] / include / i8042.h
index e0afce174abf0c0d3b9af95aa7ea3049539ada57..9723b6a664184fcd2eb714c82d191487223dc25b 100644 (file)
@@ -87,10 +87,4 @@ void i8042_flush(void);
  */
 int i8042_disable(void);
 
-struct stdio_dev;
-
-int i8042_kbd_init(void);
-int i8042_tstc(struct stdio_dev *dev);
-int i8042_getc(struct stdio_dev *dev);
-
 #endif /* _I8042_H_ */