It's merged now and roms are on messftp. No docs (yet -- they exist, just have to be scanned, I am waiting for that), but I suspect that code tests if IRQ is triggered after it's unmasked.