IRQ_MODE 47 kernel/arch/arm32/include/arch/regutils.h IRQ_MODE = 0x12, IRQ_MODE 47 uspace/lib/c/arch/arm32/include/libarch/regutils.h IRQ_MODE = 0x12,