grml...

[seabios.git] / src / ps2port.h

diff --git a/src/ps2port.h b/src/ps2port.h
index fa73a061eb527eac58fbf0012106f8489184c2b2..dcae391044fc1a9627cca1b6ac010d293c189870 100644 (file)
--- a/src/ps2port.h
+++ b/src/ps2port.h
@@ -19,10 +19,11 @@
 
 // Keyboard commands
 #define ATKBD_CMD_SETLEDS       0x10ed
+#define ATKBD_CMD_SSCANSET      0x10f0
 #define ATKBD_CMD_GETID         0x02f2
 #define ATKBD_CMD_ENABLE        0x00f4
 #define ATKBD_CMD_RESET_DIS     0x00f5
-#define ATKBD_CMD_RESET_BAT     0x01ff
+#define ATKBD_CMD_RESET_BAT     0x02ff
 
 // Mouse commands
 #define PSMOUSE_CMD_SETSCALE11  0x00e6
@@ -54,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