READ_MASK
WRITE_MASK(addr, READ_MASK(addr) & ~intr_bit);
mask = READ_MASK(addr);
pend &= ~READ_MASK(addr); /* only unmasked interrupts */