agtimer_readcnt64
return agtimer_readcnt64();
oclock = agtimer_readcnt64();
clock = agtimer_readcnt64();
uint64_t agtimer_readcnt64(void);
uint64_t (*agtimer_readcnt64)(void) = agtimer_readcnt64_default;
agtimer_readcnt64 = agtimer_readcnt64_sun50i;
start = agtimer_readcnt64();
while (agtimer_readcnt64() - start < cycles)