i8259_update_irq_hw
i8259_update_irq_hw(d->irq, cached_irq_mask &= ~(1 << d->irq));
i8259_update_irq_hw(irq, cached_irq_mask |= 1 << irq);