X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=src%2Fps2port.h;h=dcae391044fc1a9627cca1b6ac010d293c189870;hb=refs%2Fheads%2Fcoreboot;hp=3c4e4d45a4092ac7aef105e3e7f16686d8450e5c;hpb=b44a852635ef148b5057bc5ca9f37cd29b8a379c;p=seabios.git

diff --git a/src/ps2port.h b/src/ps2port.h
index 3c4e4d4..dcae391 100644
--- 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