nr_timers
for (int i = 0; i < nr_timers(vcpu); i++)
for (int i = 0; i < nr_timers(vcpu); i++)
for (int i = 0; i < nr_timers(vcpu); i++) {
valid = hweight32(ppis) == nr_timers(vcpu);
for (int i = 0; i < nr_timers(vcpu); i++) {
for (i = 0; i < nr_timers(vcpu); i++) {
s32 cpu = (nr_timers + i) % nr_cpu_ids;
__sync_fetch_and_add(&nr_timers, 1);
u64 nr_timers, nr_dispatches, nr_mismatches, nr_retries;
skel->bss->nr_timers,