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

/seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/model/
H A Driscv.sig681 val gpr: BitsN.nbit -> BitsN.nbit value
H A Driscv.sml2154 fun gpr n = function
/seL4-l4v-master/HOL4/examples/l3-machine-code/mips/model/
H A Dmips.sig375 val gpr: (BitsN.nbit Map.map) ref value
H A Dmips.sml1630 val gpr = ref (Map.mkMap(SOME 32,BitsN.B(0x0,64))) value

Completed in 190 milliseconds