John Baldwin d9d8d1449d Add a new ipi_cpu() function to the MI IPI API that can be used to send an
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
2010-08-06 15:36:59 +00:00
..
2010-06-28 18:17:21 +00:00
2010-08-06 09:44:01 +00:00
2010-01-07 01:24:09 +00:00
2010-07-09 10:57:55 +00:00
2010-06-28 18:17:21 +00:00
2010-01-04 20:59:52 +00:00
2009-05-26 09:19:21 +00:00
2010-06-26 21:44:45 +00:00