Searched defs:CPSR (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h104 CPSR = 16, enumerator in enum:_register
/seL4-l4v-master/HOL4/examples/ARM/v7/
H A Darm_stepLib.sml798 val CPSR = mk_irpt_cpsr the_state Thumb ThumbEE M value
814 val CPSR = mk_cpsr the_state flags_fupd itstate Thumb ThumbEE E M value
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sig436 val CPSR: PSR ref value
H A Darm.sml1588 val CPSR = ref value
[all...]

Completed in 129 milliseconds