****************************************************************/
static void
-process_ps2irq()
+process_ps2irq(void)
{
u8 status = inb(PORT_PS2_STATUS);
if (!(status & I8042_STR_OBF)) {
// INT74h : PS/2 mouse hardware interrupt
void VISIBLE16
-handle_74()
+handle_74(void)
{
if (! CONFIG_PS2PORT)
return;
// INT09h : Keyboard Hardware Service Entry Point
void VISIBLE16
-handle_09()
+handle_09(void)
{
if (! CONFIG_PS2PORT)
return;
****************************************************************/
static void
-keyboard_init()
+keyboard_init(void *data)
{
/* flush incoming keys */
int ret = i8042_flush();
}
void
-ps2port_setup()
+ps2port_setup(void)
{
if (! CONFIG_PS2PORT)
return;