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
..
aim	Improve hash coverage for kernel page table entries by modifying the kernel	2010-07-31 21:35:15 +00:00
booke	Eliminate FDT_IMMR_VA define.	2010-07-19 18:47:18 +00:00
compile
conf	Add support for the IBM Full-System Simulator (Mambo). This code has been	2010-07-31 13:22:34 +00:00
cpufreq	MFppc64:	2010-07-13 05:32:19 +00:00
fpu
include	Add a new ipi_cpu() function to the MI IPI API that can be used to send an	2010-08-06 15:36:59 +00:00
mambo	Add support for the IBM Full-System Simulator (Mambo). This code has been	2010-07-31 13:22:34 +00:00
mpc85xx	Convert Freescale PowerPC platforms to FDT convention.	2010-07-11 21:08:29 +00:00
ofw	Make ofw_syscons work on 64-bit systems.	2010-07-08 14:40:46 +00:00
powermac	Fix printf specifier to allow 32/64 bit builds.	2010-07-12 21:09:55 +00:00
powerpc	Add a new ipi_cpu() function to the MI IPI API that can be used to send an	2010-08-06 15:36:59 +00:00
psim	Remove the unneeded header <machine/intr.h>.	2010-07-02 02:17:39 +00:00