Searched refs:PMASK_IRQ (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/32/mode/
H A Dassembler.h37 #define PMASK_IRQ (1 << 7) macro
41 | PMASK_IRQ \
/seL4-refos-master/tools/elfloader/include/arch-arm/32/mode/
H A Dassembler.h37 #define PMASK_IRQ (1 << 7) macro
41 | PMASK_IRQ \
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dhardware.h84 #define PMASK_IRQ (1 << 7) macro
H A Dregisterset.h27 | PMASK_IRQ \

Completed in 43 milliseconds