Searched refs:ipi_invlpg_counts (Results 1 - 3 of 3) sorted by relevance

/freebsd-11-stable/sys/x86/include/
H A Dx86_smp.h63 extern u_long *ipi_invlpg_counts[MAXCPU];
/freebsd-11-stable/sys/amd64/amd64/
H A Dmp_machdep.c547 (*ipi_invlpg_counts[PCPU_GET(cpuid)])++;
573 (*ipi_invlpg_counts[PCPU_GET(cpuid)])++;
/freebsd-11-stable/sys/x86/x86/
H A Dmp_x86.c103 u_long *ipi_invlpg_counts[MAXCPU]; variable
1443 intrcnt_add(buf, &ipi_invlpg_counts[i]);
1609 (*ipi_invlpg_counts[PCPU_GET(cpuid)])++;

Completed in 268 milliseconds