Searched refs:ipi_masked_range (Results 1 - 2 of 2) sorted by relevance

/freebsd-10.1-release/sys/i386/i386/
H A Dmp_machdep.c1133 u_int ipi_masked_range; variable
1139 SYSCTL_INT(_debug_xhits, OID_AUTO, ipi_masked_range, CTLFLAG_RW,
1140 &ipi_masked_range, 0, "");
1352 ipi_masked_range++;
/freebsd-10.1-release/sys/amd64/amd64/
H A Dmp_machdep.c1050 u_int ipi_masked_range; variable
1056 SYSCTL_UINT(_debug_xhits, OID_AUTO, ipi_masked_range, CTLFLAG_RW,
1057 &ipi_masked_range, 0, "");
1287 ipi_masked_range++;

Completed in 98 milliseconds