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	Restore the machine check register banks on resume. For banks being	2010-06-15 18:51:41 +00:00
bios	Introduce the new kernel sub-tree x86 which should contain all the code	2010-02-25 14:13:39 +00:00
compile
conf	Add MALLOC_DEBUG_MAXZONES debug malloc(9) option to use multiple uma	2010-07-28 15:36:12 +00:00
i386	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
ibcs2	Regenerate	2010-06-28 18:17:21 +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	Simplify fldcw() macro. There is no reason to use pointer here. No object	2010-07-26 23:20:55 +00:00
linux	The interpreter name should no longer be treated as a buffer that can be	2010-07-28 04:47:40 +00:00
pci	Change the MPTable and $PIR PCI-PCI bridge drivers to inherit from the	2010-08-05 17:48:37 +00:00
svr4	Change some movl's to mov's. Newer GAS no longer accept 'movl' instructions	2009-01-31 11:37:21 +00:00
xbox	Update d_mmap() to accept vm_ooffset_t and vm_memattr_t.	2009-12-29 21:51:28 +00:00
xen	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
Makefile	Update entries for building tags.	2007-05-13 18:21:54 +00:00