Searched defs:ipi_invlrng_counts (Results 1 - 2 of 2) sorted by relevance
| /freebsd-10-stable/sys/amd64/amd64/ | ||
| H A D | mp_machdep.c | 120 u_long *ipi_invlrng_counts[MAXCPU]; variable |
| /freebsd-10-stable/sys/i386/i386/ | ||
| H A D | mp_machdep.c | 162 u_long *ipi_invlrng_counts[MAXCPU]; variable |
Completed in 36 milliseconds