counter_u64_read_one
r += counter_u64_read_one(c, cpu);
r += counter_u64_read_one((uint64_t *)p, i);
r += counter_u64_read_one((uint64_t *)p, i);
r += counter_u64_read_one((uint64_t *)p, i);
r += counter_u64_read_one((uint64_t *)p, i);
r += counter_u64_read_one(p, i);