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

/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Dgraph_specsLib.sml306 val (jmp,th) = if wordsSyntax.is_n2w pc2 then (``Jump ^pc2``,th) else value
/seL4-l4v-10.1.1/HOL4/examples/ARM/v4/
H A DassemblerML.sml394 val jmp = add32 address (num2comp (line + n8)) value

Completed in 99 milliseconds