grml...

[seabios.git] / src / ps2port.h

diff --git a/src/ps2port.h b/src/ps2port.h
index 3c4e4d45a4092ac7aef105e3e7f16686d8450e5c..dcae391044fc1a9627cca1b6ac010d293c189870 100644 (file)
--- a/src/ps2port.h
+++ b/src/ps2port.h
@@ -55,9 +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 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