Searched refs:ipi_range (Results 1 – 4 of 4) sorted by relevance
52 extern u_int ipi_range;
1179 u_int ipi_range; variable1183 SYSCTL_INT(_debug_xhits, OID_AUTO, ipi_range, CTLFLAG_RW, &ipi_range, 0, "");
641 ipi_range++; in smp_masked_invlpg_range()
731 ipi_range++; in smp_masked_invlpg_range()