Searched defs:LR (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/machine/
H A Dregisterset.h33 ra = 0, LR = 0, enumerator in enum:_register
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h87 LR = 14, enumerator in enum:_register
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/machine/
H A Dregisterset.h133 LR = 30, enumerator in enum:_register
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/model/
H A Dm0.sig282 val LR: unit -> BitsN.nbit value
H A Dm0.sml724 fun LR () = R(BitsN.B(0xE,4)); function
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sig695 val LR: unit -> BitsN.nbit value
H A Darm.sml2452 fun LR () = R(BitsN.B(0xE,4)); function
[all...]

Completed in 180 milliseconds