intrcnt_add
intrcnt_add(buf, VMBUS_PCPU_PTR(sc, intr_cnt, cpu));
void intrcnt_add(const char *name, u_long **countp);
intrcnt_add(buf, &decr_counts[curcpu]);
intrcnt_add(buf, &decr_counts[curcpu]);
void intrcnt_add(const char *name, u_long **countp);
intrcnt_add(buf, &la->la_timer_count);
intrcnt_add(buf, &ipi_invltlb_counts[i]);
intrcnt_add(buf, &ipi_invlrng_counts[i]);
intrcnt_add(buf, &ipi_invlpg_counts[i]);
intrcnt_add(buf, &ipi_invlcache_counts[i]);
intrcnt_add(buf, &ipi_preempt_counts[i]);
intrcnt_add(buf, &ipi_ast_counts[i]);
intrcnt_add(buf, &ipi_rendezvous_counts[i]);
intrcnt_add(buf, &ipi_hardclock_counts[i]);
intrcnt_add(buf, DPCPU_ID_PTR(i, pintrcnt));