Searched defs:PC (Results 1 - 15 of 15) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/gold/
H A Dproblem-set-1-answers.lisp
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Darm_disassemblerLib.sml31 val PC = mk_word4 15; value
H A Darm_encoderLib.sml39 val PC = mk_word4 15; value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/step/
H A Driscv_stepScript.sml586 val PC = EV [PC_def] [] [] ``PC`` value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/model/
H A Dm0.sig284 val PC: unit -> BitsN.nbit value
H A Dm0.sml728 fun PC () = R(BitsN.B(0xF,4)); function
[all...]
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DpatternMatchesSyntax.sml204 fun PC nm = prim_mk_const { Thy = "patternMatches", Name = nm } function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/
H A Darm8.sig441 val PC: BitsN.nbit ref value
H A Darm8.sml837 val PC = ref (BitsN.B(0x0,64)): BitsN.nbit ref value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/model/
H A Driscv.sig687 val PC: unit -> BitsN.nbit value
H A Driscv.sml2218 fun PC () = Map.lookup((!c_PC),BitsN.toNat (!procID)); function
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sig697 val PC: unit -> BitsN.nbit value
H A Darm.sml2456 fun PC () = R(BitsN.B(0xF,4)); function
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/model/
H A Dmips.sig371 val PC: BitsN.nbit ref value
H A Dmips.sml1613 val PC = ref (BitsN.B(0x0,64)): BitsN.nbit ref value
[all...]

Completed in 308 milliseconds