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

/seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/model/
H A Driscv.sig409 val c_NextFetch: ((TransferControl option) Map.map) ref value
H A Driscv.sml1550 val c_NextFetch = ref (Map.mkMap(SOME 256,NONE)) value

Completed in 155 milliseconds