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

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/step/
H A Dm0_stepLib.sml34 val opcodes = utilsLib.list_mk_wordii 4 (List.tabulate (16, Lib.I)) value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/step/
H A Darm_stepLib.sml44 val opcodes = utilsLib.list_mk_wordii 4 (List.tabulate (16, Lib.I)) value

Completed in 47 milliseconds