David Howells df9ee29270 Fix IRQ flag handling naming 15 years ago
..
arch-v10 df9ee29270 Fix IRQ flag handling naming 15 years ago
arch-v32 df9ee29270 Fix IRQ flag handling naming 15 years ago
asm df9ee29270 Fix IRQ flag handling naming 15 years ago