Home
last modified time | relevance | path

Searched refs:ipi_invlpg_counts (Results 1 – 4 of 4) sorted by relevance

/freebsd-13-stable/sys/x86/include/
HDx86_smp.h72 extern u_long *ipi_invlpg_counts[MAXCPU];
/freebsd-13-stable/sys/amd64/amd64/
HDmp_machdep.c846 (*ipi_invlpg_counts[PCPU_GET(cpuid)])++; in invlpg_handler()
861 (*ipi_invlpg_counts[PCPU_GET(cpuid)])++; in invlpg_invpcid_handler()
886 (*ipi_invlpg_counts[PCPU_GET(cpuid)])++; in invlpg_pcid_handler()
/freebsd-13-stable/sys/x86/x86/
HDmp_x86.c115 u_long *ipi_invlpg_counts[MAXCPU]; variable
1717 intrcnt_add(buf, &ipi_invlpg_counts[i]); in mp_ipi_intrcnt()
/freebsd-13-stable/sys/i386/i386/
HDmp_machdep.c687 (*ipi_invlpg_counts[PCPU_GET(cpuid)])++; in invlpg_handler()