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 */ |