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

/freebsd-11-stable/sys/x86/x86/
H A Dmp_x86.c103 u_long *ipi_invlpg_counts[MAXCPU]; variable

Completed in 49 milliseconds