238 static void kbd_update_kbd_irq(void *opaque, int level)  in kbd_update_kbd_irq()
250 static void kbd_update_aux_irq(void *opaque, int level)  in kbd_update_aux_irq()
262 static void kbd_throttle_timeout(void *opaque)  in kbd_throttle_timeout()
271 static uint64_t kbd_read_status(void *opaque, hwaddr addr,  in kbd_read_status()
314 static void kbd_write_command(void *opaque, hwaddr addr,  in kbd_write_command()
399 static uint64_t kbd_read_data(void *opaque, hwaddr addr,  in kbd_read_data()
423 static void kbd_write_data(void *opaque, hwaddr addr,  in kbd_write_data()
473 static void kbd_reset(void *opaque)  in kbd_reset()
494 static int kbd_outport_post_load(void *opaque, int version_id)  in kbd_outport_post_load()
501 static bool kbd_outport_needed(void *opaque)  in kbd_outport_needed()
519 static int kbd_extended_state_pre_save(void *opaque)  in kbd_extended_state_pre_save()
531 static int kbd_extended_state_post_load(void *opaque, int version_id)  in kbd_extended_state_post_load()
543 static bool kbd_extended_state_needed(void *opaque)  in kbd_extended_state_needed()
564 static int kbd_pre_save(void *opaque)  in kbd_pre_save()
582 static int kbd_pre_load(void *opaque)  in kbd_pre_load()
591 static int kbd_post_load(void *opaque, int version_id)  in kbd_post_load()
637 static uint64_t kbd_mm_readfn(void *opaque, hwaddr addr, unsigned size)  in kbd_mm_readfn()
648 static void kbd_mm_writefn(void *opaque, hwaddr addr,  in kbd_mm_writefn()
669 static void i8042_mmio_set_kbd_irq(void *opaque, int n, int level)  in i8042_mmio_set_kbd_irq()
677 static void i8042_mmio_set_mouse_irq(void *opaque, int n, int level)  in i8042_mmio_set_mouse_irq()
810 static void i8042_set_kbd_irq(void *opaque, int n, int level)  in i8042_set_kbd_irq()
818 static void i8042_set_mouse_irq(void *opaque, int n, int level)  in i8042_set_mouse_irq()