EVENT_COUNT
this_cpu_add(EVENT_COUNT(pv_hash_hops), hopcnt);
this_cpu_add(EVENT_COUNT(pv_latency_kick), sched_clock() - start);
this_cpu_add(EVENT_COUNT(pv_latency_wake),
kicks += per_cpu(EVENT_COUNT(pv_kick_unlock), cpu);
kicks += per_cpu(EVENT_COUNT(pv_kick_wake), cpu);