SVNS_COUNTER_HZ
tvp->tv_usec = (c1 % SVNS_COUNTER_HZ) * 1000000 / SVNS_COUNTER_HZ;
c = (uint64_t)tvp->tv_sec * SVNS_COUNTER_HZ +
(uint64_t)tvp->tv_usec * SVNS_COUNTER_HZ / 1000000;