mftb
tgt_cpu_tsc = mftb();
hst_cpu_tsc = mftb();
timebase = mftb() - timebase_skew[curcpu];
timebase = mftb();
i = mftb() % 8;
i = mftb() % n_slbs;
i = mftb() % n_slbs;
i = mftb() % n_slbs;
tb = mftb() & ((1 << flsll(ticks)) - 1);
ap, __func__, (uintmax_t)tb, (uintmax_t)mftb());
ap, __func__, (uintmax_t)tb, (uintmax_t)mftb());
ap, __func__, (uintmax_t)tb, (uintmax_t)mftb());
ap, __func__, (uintmax_t)tb, (uintmax_t)mftb());
i = mftb() % ncpus;
set_cputicker(mftb, ticks_per_sec, false);
return (mftb());
tb = mftb();
tb = mftb();
ap_timebase = mftb() + 10;
int i = mftb() % CPU_COUNT(&cpumask);
i = mftb() % 8;
i = mftb() % ncpus;