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

/freebsd-10-stable/sys/i386/xen/
H A Dmp_machdep.c171 static volatile u_int cpu_ipi_pending[MAXCPU]; variable
/freebsd-10-stable/sys/amd64/amd64/
H A Dmp_machdep.c165 volatile u_int cpu_ipi_pending[MAXCPU]; variable
/freebsd-10-stable/sys/i386/i386/
H A Dmp_machdep.c204 volatile u_int cpu_ipi_pending[MAXCPU]; variable

Completed in 71 milliseconds