read_pmtmr
v1 = read_pmtmr();
v2 = read_pmtmr();
v3 = read_pmtmr();
return (u64)read_pmtmr();
then = read_pmtmr();
now = read_pmtmr();