ELCR_MASK
new_status = elcr_status | ELCR_MASK(irq);
new_status = elcr_status & ~ELCR_MASK(irq);
if ((elcr_status & (ELCR_MASK(0) | ELCR_MASK(1) | ELCR_MASK(2) |
ELCR_MASK(8) | ELCR_MASK(13))) != 0)
if (elcr_status & ELCR_MASK(i))
if (elcr_status & ELCR_MASK(irq))