void apic_reset_irq_delivered(void)

{

    trace_apic_reset_irq_delivered(apic_irq_delivered);



    apic_irq_delivered = 0;

}

void apic_reset_irq_delivered(void)

{

    trace_apic_reset_irq_delivered(apic_irq_delivered);



    apic_irq_delivered = 0;

}

    trace_apic_reset_irq_delivered(apic_irq_delivered);
void FUNC_0(void)

{

    trace_apic_reset_irq_delivered(apic_irq_delivered);



    apic_irq_delivered = 0;

}

void FUNC_0(void)
{ trace_apic_reset_irq_delivered(apic_irq_delivered); apic_irq_delivered = 0; }