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

/seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/model/
H A Driscv.sig699 val ReserveLoad: unit -> (BitsN.nbit option) value
H A Driscv.sml2248 fun ReserveLoad () = Map.lookup((!c_ReserveLoad),BitsN.toNat (!procID)); function

Completed in 113 milliseconds