| 928 |
void do_usb_del(const char *devname); |
void do_usb_del(const char *devname); |
| 929 |
void usb_info(void); |
void usb_info(void); |
| 930 |
|
|
| 931 |
|
/* ps2.c */ |
| 932 |
|
void *ps2_kbd_init(void (*update_irq)(void *, int), void *update_arg); |
| 933 |
|
void *ps2_mouse_init(void (*update_irq)(void *, int), void *update_arg); |
| 934 |
|
void ps2_write_mouse(void *, int val); |
| 935 |
|
void ps2_write_keyboard(void *, int val); |
| 936 |
|
uint32_t ps2_read_data(void *); |
| 937 |
|
void ps2_queue(void *, int b); |
| 938 |
|
|
| 939 |
#endif /* defined(QEMU_TOOL) */ |
#endif /* defined(QEMU_TOOL) */ |
| 940 |
|
|
| 941 |
/* monitor.c */ |
/* monitor.c */ |