1 # See docs/tracing.txt for syntax documentation.
4 ps2_put_keycode(void *opaque, int keycode) "%p keycode %d"
5 ps2_read_data(void *opaque) "%p"
6 ps2_set_ledstate(void *s, int ledstate) "%p ledstate %d"
7 ps2_reset_keyboard(void *s) "%p"
8 ps2_write_keyboard(void *opaque, int val) "%p val %d"
9 ps2_keyboard_set_translation(void *opaque, int mode) "%p mode %d"
10 ps2_mouse_send_packet(void *s, int dx1, int dy1, int dz1, int b) "%p x %d y %d z %d bs %#x"
11 ps2_mouse_fake_event(void *opaque) "%p"
12 ps2_write_mouse(void *opaque, int val) "%p val %d"
13 ps2_kbd_reset(void *opaque) "%p"
14 ps2_mouse_reset(void *opaque) "%p"
15 ps2_kbd_init(void *s) "%p"
16 ps2_mouse_init(void *s) "%p"
18 # hw/input/milkymist-softusb.c
19 milkymist_softusb_memory_read(uint32_t addr, uint32_t value) "addr %08x value %08x"
20 milkymist_softusb_memory_write(uint32_t addr, uint32_t value) "addr %08x value %08x"
21 milkymist_softusb_mevt(uint8_t m) "m %d"
22 milkymist_softusb_kevt(uint8_t m) "m %d"
23 milkymist_softusb_pulse_irq(void) "Pulse IRQ"
26 hid_kbd_queue_full(void) "queue full"
27 hid_kbd_queue_empty(void) "queue empty"
30 virtio_input_queue_full(void) "queue full"