Home
last modified time | relevance | path

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

/seL4-master/include/arch/arm/arch/64/mode/kernel/
A Dthread.h22 return (v & 0xf0000000) | PSTATE_USER; in sanitiseRegister()
/seL4-master/include/arch/arm/arch/64/mode/machine/
A Dregisterset.h60 #define PSTATE_USER (PMODE_FIRQ | PMODE_EL0t | PSTATE_EXTRA_FLAGS) macro
265 context->registers[SPSR_EL1] = PSTATE_USER; in Arch_initContext()

Completed in 4 milliseconds