void i8042_setup_a20_line(ISADevice *dev, qemu_irq *a20_out)

{

    ISAKBDState *isa = I8042(dev);

    KBDState *s = &isa->kbd;



    s->a20_out = a20_out;

}

void i8042_setup_a20_line(ISADevice *dev, qemu_irq *a20_out)

{

    ISAKBDState *isa = I8042(dev);

    KBDState *s = &isa->kbd;



    s->a20_out = a20_out;

}

void FUNC_0(ISADevice *VAR_0, qemu_irq *VAR_1)

{

    ISAKBDState *isa = I8042(VAR_0);

    KBDState *s = &isa->kbd;



    s->VAR_1 = VAR_1;

}

void FUNC_0(ISADevice *VAR_0, qemu_irq *VAR_1)
{ ISAKBDState *isa = I8042(VAR_0); KBDState *s = &isa->kbd; s->VAR_1 = VAR_1; }