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
..
acpica	Add acpi_find_table() -- a convenience function for looking up an	2010-07-07 20:07:33 +00:00
compile
conf	Add MALLOC_DEBUG_MAXZONES debug malloc(9) option to use multiple uma	2010-07-28 15:36:12 +00:00
disasm
ia32	Change ia64' struct syscall_args definition so that args is a pointer to	2010-05-24 17:24:14 +00:00
ia64	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
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
isa	Remove isa_irq_pending(). It's not used.	2009-04-24 03:43:20 +00:00
pci	Disable interrupts when calling into SAL for PCI configuration	2010-03-22 03:06:11 +00:00