grml...

[seabios.git] / src / ps2port.h

diff --git a/src/ps2port.h b/src/ps2port.h
index e13f85903e0f1731f41c01c8ebee1febb615dd79..dcae391044fc1a9627cca1b6ac010d293c189870 100644 (file)
--- a/src/ps2port.h
+++ b/src/ps2port.h
@@ -55,10 +55,9 @@
 #define I8042_CTR_XLATE         0x40
 
 // functions
-int i8042_flush(void);
-int i8042_command(int command, u8 *param);
-int kbd_command(int command, u8 *param);
-int aux_command(int command, u8 *param);
-void ps2port_setup();
+void i8042_reboot(void);
+int ps2_kbd_command(int command, u8 *param);
+int ps2_mouse_command(int command, u8 *param);
+void ps2port_setup(void);
 
 #endif // ps2port.h