cpu_counter
x -= cpu_counter();
x += cpu_counter();
extern uint64_t (*cpu_counter)(void);
t0 = cpu_counter();
t1 = cpu_counter();
t0 = cpu_counter();
t1 = cpu_counter();
tsc = cpu_counter();
(void)cpu_counter();
t0 = cpu_counter();
t0 += cpu_counter();
t1 = cpu_counter();
t1 += cpu_counter();
cpu_counter = cpu_counter_##fence; \
start = cpu_counter();
while ((cpu_counter() - start) < delta) {
cur = cpu_counter();
uint64_t (*cpu_counter)(void) = cpu_counter_cpuid;
(void)cpu_counter();
td0 = cpu_counter();
(void)cpu_counter();
td = cpu_counter();
(name) -= cpu_counter(); \
(name) += cpu_counter(); \
uint64_t (*cpu_counter)(void) = nullfunc64;
cpucounters(struct cpu_counter *cc)
void cpucounters(struct cpu_counter *);
struct cpu_counter cc;