static void update_irq(struct HPETTimer *timer)

{

    qemu_irq irq;

    int route;



    if (timer->tn <= 1 && hpet_in_legacy_mode()) {

        /* if LegacyReplacementRoute bit is set, HPET specification requires

         * timer0 be routed to IRQ0 in NON-APIC or IRQ2 in the I/O APIC,

         * timer1 be routed to IRQ8 in NON-APIC or IRQ8 in the I/O APIC.

         */

        if (timer->tn == 0) {

            irq=timer->state->irqs[0];

        } else

            irq=timer->state->irqs[8];

    } else {

        route=timer_int_route(timer);

        irq=timer->state->irqs[route];

    }

    if (timer_enabled(timer) && hpet_enabled()) {

        qemu_irq_pulse(irq);

    }

}

static void update_irq(struct HPETTimer *timer)

{

    qemu_irq irq;

    int route;



    if (timer->tn <= 1 && hpet_in_legacy_mode()) {

        







        if (timer->tn == 0) {

            irq=timer->state->irqs[0];

        } else

            irq=timer->state->irqs[8];

    } else {

        route=timer_int_route(timer);

        irq=timer->state->irqs[route];

    }

    if (timer_enabled(timer) && hpet_enabled()) {

        qemu_irq_pulse(irq);

    }

}

    qemu_irq irq;         if (timer->tn == 0) {             irq=timer->state->irqs[0];         } else             irq=timer->state->irqs[8];         route=timer_int_route(timer);         irq=timer->state->irqs[route];     if (timer_enabled(timer) && hpet_enabled()) {         qemu_irq_pulse(irq);         } else
static void FUNC_0(struct HPETTimer *VAR_0)

{

    qemu_irq irq;

    int VAR_1;



    if (VAR_0->tn <= 1 && hpet_in_legacy_mode()) {

        







        if (VAR_0->tn == 0) {

            irq=VAR_0->state->irqs[0];

        } else

            irq=VAR_0->state->irqs[8];

    } else {

        VAR_1=timer_int_route(VAR_0);

        irq=VAR_0->state->irqs[VAR_1];

    }

    if (timer_enabled(VAR_0) && hpet_enabled()) {

        qemu_irq_pulse(irq);

    }

}

static void FUNC_0(struct HPETTimer *VAR_0)
{ qemu_irq irq; int VAR_1; if (VAR_0->tn <= 1 && hpet_in_legacy_mode()) { if (VAR_0->tn == 0) { irq=VAR_0->state->irqs[0]; } else irq=VAR_0->state->irqs[8]; } else { VAR_1=timer_int_route(VAR_0); irq=VAR_0->state->irqs[VAR_1]; } if (timer_enabled(VAR_0) && hpet_enabled()) { qemu_irq_pulse(irq); } }