Searched refs:PMODE_IDLE (Results 1 - 2 of 2) sorted by relevance
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/ | ||
H A D | hardware.h | 90 #define PMODE_IDLE PMODE_HYPERVISOR macro 93 #define PMODE_IDLE PMODE_SYSTEM macro |
H A D | registerset.h | 32 | PMODE_IDLE \ |
Completed in 28 milliseconds