Searched defs:clock (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/examples/STE/
H A DConversion.sml87 val clock = start_time(); value
127 val clock = start_time(); value
/seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/model/
H A Driscv.sig420 val clock: BitsN.nbit ref value
H A Driscv.sml1603 val clock = ref (BitsN.B(0x0,64)): BitsN.nbit ref value
[all...]

Completed in 214 milliseconds