Searched refs:PMASK_FIRQ (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/tools/seL4/elfloader-tool/include/arch-arm/32/mode/
H A Dassembler.h38 #define PMASK_FIRQ (1 << 6) macro
40 #define CPSR_SUPERVISOR ( PMASK_FIRQ \
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h22 #define CPSR_USER ( PMASK_FIRQ \
26 #define CPSR_KERNEL ( PMASK_FIRQ \
31 #define CPSR_IDLETHREAD ( PMASK_FIRQ \
H A Dhardware.h85 #define PMASK_FIRQ (1 << 6) macro

Completed in 40 milliseconds