Attilio Rao 120b18d86f FreeBSD right now support 32 CPUs on all the architectures at least. ... With the arrival of 128+ cores it is necessary to handle more than that. One of the first thing to change is the support for cpumask_t that needs to handle more than 32 bits masking (which happens now). Some places, however, still assume that cpumask_t is a 32 bits mask. Fix that situation by using always correctly cpumask_t when needed. While here, remove the part under STOP_NMI for the Xen support as it is broken in any case. Additively make ipi_nmi_pending as static. Reviewed by: jhb, kmacy Tested by: Giovanni Trematerra <giovanni dot trematerra at gmail dot com>		2009-05-14 17:43:00 +00:00
..
acpica	At least one BIOS bogusly includes duplicate entries for I/O APICs. The	2009-03-05 16:03:44 +00:00
bios	Oops, sorry. Fix for fix.	2009-05-04 08:41:54 +00:00
compile
conf	- Use "device\t" and "options \t" for consistency.	2009-05-10 00:00:25 +00:00
cpufreq	Remove unused variables.	2009-05-12 22:11:02 +00:00
i386	FreeBSD right now support 32 CPUs on all the architectures at least.	2009-05-14 17:43:00 +00:00
ibcs2	Regenerate system call tables to use SVN ids.	2009-05-08 20:16:04 +00:00
include	FreeBSD right now support 32 CPUs on all the architectures at least.	2009-05-14 17:43:00 +00:00
isa	Rename statclock_disable variable to atrtcclock_disable that it actually is,	2009-05-03 17:47:21 +00:00
linux	Do not export AT_CLKTCK when emulating Linux kernel prior	2009-05-10 18:43:43 +00:00
pci	Fall back to using configuration type 1 accesses for PCI config requests if	2009-03-24 18:10:22 +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	In keeping with style(9)'s recommendations on macros, use a ';'	2008-03-16 10:58:09 +00:00
xen	FreeBSD right now support 32 CPUs on all the architectures at least.	2009-05-14 17:43:00 +00:00
Makefile	Update entries for building tags.	2007-05-13 18:21:54 +00:00