Was setting the interrupt source bits regardless of the interrupt mask.
Now a source bit is set only if the corresponding mask bit is set.