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
..
atomic.h
debug.c
debug.h	FreeBSD right now support 32 CPUs on all the architectures at least.	2009-05-14 17:43:00 +00:00
kdb.c	Make ddb command registration dynamic so modules can extend	2008-09-15 22:45:14 +00:00
kdb.h
kmem.c
kmem.h
ktrace.c
ktrace.h
move.h
mrlock.c
mrlock.h
mutex.h
rwlock.h
rwsem.h
sema.h
spin.h	Bow to incomplete GCC 4. constant propagation optimizations and	2007-05-30 03:03:06 +00:00
support.h
sv.h
time.h
uuid.c
uuid.h