Searched defs:ldm (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/step/
H A Dm0_stepLib.sml694 val (ldm, f, b, v, s) = value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/step/
H A Darm_stepLib.sml1128 val (ldm, f, b, v, s) = value

Completed in 110 milliseconds