2 void *ps2_kbd_init(void (*update_irq
)(void *, int), void *update_arg
);
3 void *ps2_mouse_init(void (*update_irq
)(void *, int), void *update_arg
);
4 void ps2_write_mouse(void *, int val
);
5 void ps2_write_keyboard(void *, int val
);
6 uint32_t ps2_read_data(void *);
7 void ps2_queue(void *, int b
);
8 void ps2_keyboard_set_translation(void *opaque
, int mode
);
9 void ps2_mouse_fake_event(void *opaque
);
