r4030_read_reg16
mask |= r4030_read_reg16(JAZZ_IO_IRQ_ENABLE);
mask &= r4030_read_reg16(JAZZ_IO_IRQ_ENABLE);
r4030_read_reg16(JAZZ_IO_IRQ_SOURCE); /* clear pending IRQs */