Home
last modified time | relevance | path

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

/f-stack/freebsd/x86/include/
H A Dx86_smp.h48 extern u_int ipi_page;
/f-stack/freebsd/x86/x86/
H A Dmp_x86.c1163 u_int ipi_page; variable
1167 SYSCTL_INT(_debug_xhits, OID_AUTO, ipi_page, CTLFLAG_RW, &ipi_page, 0, "");
/f-stack/freebsd/i386/i386/
H A Dmp_machdep.c577 ipi_page++; in smp_masked_invlpg()
/f-stack/freebsd/amd64/amd64/
H A Dmp_machdep.c768 ipi_page++; in smp_masked_invlpg()