Searched refs:PMODE_EL2h (Results 1 – 1 of 1) sorted by relevance

/seL4-master/include/arch/arm/arch/64/mode/machine/
A D	registerset.h	23 #define PMODE_EL2h 9 macro 63 #define PSTATE_IDLETHREAD (PMODE_FIRQ | PMODE_EL2h | PSTATE_EXTRA_FLAGS)

Completed in 2 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023