Opcodes one can use to read time values are:
readclock
rtclock
timeinstk
timeinsts
times
timek
You can also set up counters using clockoff and clockon.