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