Searched defs:SP_EL0 (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/machine/
H A Dregisterset.h137 SP_EL0 = 31, /* 0xf8 */ enumerator in enum:_register
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/
H A Darm8.sig447 val SP_EL0: BitsN.nbit ref value
H A Darm8.sml858 val SP_EL0 = ref (BitsN.B(0x0,64)): BitsN.nbit ref value

Completed in 46 milliseconds