672     KBDState *ks = &s->kbd;  in i8042_mmio_set_kbd_irq()  local
674     kbd_update_kbd_irq(ks, level);  in i8042_mmio_set_kbd_irq()
680     KBDState *ks = &s->kbd;  in i8042_mmio_set_mouse_irq()  local
682     kbd_update_aux_irq(ks, level);  in i8042_mmio_set_mouse_irq()
688     KBDState *ks = &s->kbd;  in i8042_mmio_reset()  local
690     kbd_reset(ks);  in i8042_mmio_reset()
696     KBDState *ks = &s->kbd;  in i8042_mmio_realize()  local
698     memory_region_init_io(&s->region, OBJECT(dev), &i8042_mmio_ops, ks,  in i8042_mmio_realize()
703     if (!sysbus_realize(SYS_BUS_DEVICE(&ks->ps2kbd), errp)) {  in i8042_mmio_realize()
707     if (!sysbus_realize(SYS_BUS_DEVICE(&ks->ps2mouse), errp)) {  in i8042_mmio_realize()
711     qdev_connect_gpio_out(DEVICE(&ks->ps2kbd), PS2_DEVICE_IRQ,  in i8042_mmio_realize()
715     qdev_connect_gpio_out(DEVICE(&ks->ps2mouse), PS2_DEVICE_IRQ,  in i8042_mmio_realize()
723     KBDState *ks = &s->kbd;  in i8042_mmio_init()  local
725     ks->extended_state = true;  in i8042_mmio_init()
727     object_initialize_child(obj, "ps2kbd", &ks->ps2kbd, TYPE_PS2_KBD_DEVICE);  in i8042_mmio_init()
728     object_initialize_child(obj, "ps2mouse", &ks->ps2mouse,  in i8042_mmio_init()
731     qdev_init_gpio_out(DEVICE(obj), ks->irqs, 2);  in i8042_mmio_init()
813     KBDState *ks = &s->kbd;  in i8042_set_kbd_irq()  local
815     kbd_update_kbd_irq(ks, level);  in i8042_set_kbd_irq()
821     KBDState *ks = &s->kbd;  in i8042_set_mouse_irq()  local
823     kbd_update_aux_irq(ks, level);  in i8042_set_mouse_irq()
830     KBDState *ks = &s->kbd;  in i8042_reset()  local
832     kbd_reset(ks);  in i8042_reset()