Home
last modified time | relevance | path

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

/f-stack/freebsd/x86/include/
H A Dx86_smp.h71 extern u_long *ipi_invlpg_counts[MAXCPU];
/f-stack/freebsd/amd64/amd64/
H A Dmp_machdep.c897 (*ipi_invlpg_counts[PCPU_GET(cpuid)])++; in invlpg_handler()
912 (*ipi_invlpg_counts[PCPU_GET(cpuid)])++; in invlpg_invpcid_handler()
937 (*ipi_invlpg_counts[PCPU_GET(cpuid)])++; in invlpg_pcid_handler()
/f-stack/freebsd/x86/x86/
H A Dmp_x86.c109 u_long *ipi_invlpg_counts[MAXCPU]; variable
1665 intrcnt_add(buf, &ipi_invlpg_counts[i]); in mp_ipi_intrcnt()
/f-stack/freebsd/i386/i386/
H A Dmp_machdep.c634 (*ipi_invlpg_counts[PCPU_GET(cpuid)])++; in invlpg_handler()