vgabios: Use vgamode_s instead of video_param_table in code.

[seabios.git] / src / ps2port.h

diff --git a/src/ps2port.h b/src/ps2port.h
index afb0e786bbfa4fdcccd2071478e6e46d99bf0771..dcae391044fc1a9627cca1b6ac010d293c189870 100644 (file)
--- a/src/ps2port.h
+++ b/src/ps2port.h
@@ -55,8 +55,7 @@
 #define I8042_CTR_XLATE         0x40
 
 // functions
-int i8042_flush(void);
-int i8042_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);