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

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/step/
H A Darm_configLib.sml88 val (thumb, l) = process_opt thumb_options "Thumb" value
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Darm_stepLib.sml761 val thumb = #thumb opt value
1108 val (thumb,l) = process_opt thumb_options "Thumb" value
[all...]
H A Darm_parserLib.sml2775 let val thumb = enc = Encoding_Thumb2_tm value
2826 let val thumb = enc == Encoding_Thumb2_tm value
3275 let val thumb = enc = Encoding_Thumb2_tm in value
[all...]

Completed in 41 milliseconds