3 MemoryRegion *escc_init(target_phys_addr_t base, qemu_irq irqA, qemu_irq irqB,
4 CharDriverState *chrA, CharDriverState *chrB,
5 int clock, int it_shift);
7 void slavio_serial_ms_kbd_init(target_phys_addr_t base, qemu_irq irq,
8 int disabled, int clock, int it_shift);