Searched refs:ipi_invlcache_counts (Results 1 – 4 of 4) sorted by relevance
72 extern u_long *ipi_invlcache_counts[MAXCPU];
109 u_long *ipi_invlcache_counts[MAXCPU]; variable1743 intrcnt_add(buf, &ipi_invlcache_counts[i]); in mp_ipi_intrcnt()
727 (*ipi_invlcache_counts[PCPU_GET(cpuid)])++; in invlcache_handler()
1017 (*ipi_invlcache_counts[PCPU_GET(cpuid)])++; in invlcache_handler()