Lines Matching defs:clock
1603 val clock = ref (BitsN.B(0x0,64)): BitsN.nbit ref
2441 ((!clock),
2460 ((!clock),
2487 ((!clock),
2494 ((!clock),
2526 ((!clock),
2545 ((!clock),
2570 ((!clock),
2577 ((!clock),
2595 ((!clock),
2602 ((!clock),
2633 ((!clock),
2640 ((!clock),
2671 ((!clock),
2678 ((!clock),
2918 UserCSR_time_delta_rupd(x0,BitsN.-(value,(!clock)))))
2965 (BitsN.bits(31,0) value,BitsN.bits(63,32) (!clock)),
3053 MachineCSR_mtime_delta_rupd(x0,BitsN.-(value,(!clock)))))
3069 (BitsN.bits(31,0) value,BitsN.bits(63,32) (!clock)),
3178 HypervisorCSR_htime_delta_rupd(x0,BitsN.-(value,(!clock)))))
3194 (BitsN.bits(31,0) value,BitsN.bits(63,32) (!clock)),
14459 ; clock := (BitsN.div(cycles,BitsN.fromNat(CYCLES_PER_TIMER_TICK,64)))
14472 ((!clock),
14484 ((!clock),