d9d8d1449d
IPI to a specific CPU by its cpuid. Replace calls to ipi_selected() that constructed a mask for a single CPU with calls to ipi_cpu() instead. This will matter more in the future when we transition from cpumask_t to cpuset_t for CPU masks in which case building a CPU mask is more expensive. Submitted by: peter, sbruno Reviewed by: rookie Obtained from: Yahoo! (x86) MFC after: 1 month |
||
---|---|---|
.. | ||
clock.c | ||
exception.s | ||
locore.s | ||
mp_machdep.c | ||
mptable.c | ||
pmap.c | ||
xen_clock_util.c | ||
xen_machdep.c | ||
xen_rtc.c |