root / hw / ps2.h @ 3320e56e
History | View | Annotate | Download (400 Bytes)
1 |
/* ps2.c */
|
---|---|
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); |