Searched defs:ipi_invlcache_counts (Results 1 - 1 of 1) sorted by relevance

/freebsd-11.0-release/sys/x86/x86/
H A Dmp_x86.c111 u_long *ipi_invlcache_counts[MAXCPU]; variable

Completed in 22 milliseconds