Searched refs:ipi_invlcache_counts (Results 1 – 4 of 4) sorted by relevance
75 extern u_long *ipi_invlcache_counts[MAXCPU];
118 u_long *ipi_invlcache_counts[MAXCPU]; variable1682 intrcnt_add(buf, &ipi_invlcache_counts[i]); in mp_ipi_intrcnt()
728 (*ipi_invlcache_counts[PCPU_GET(cpuid)])++; in invlcache_handler()
991 (*ipi_invlcache_counts[PCPU_GET(cpuid)])++; in invlcache_handler()