[PATCH] i386: Dont use IPI broadcast when using cpu hotplug.
[linux-2.6.git] / arch / i386 / mach-default /
drwxr-xr-x ..
-rw-r--r-- Makefile
-rw-r--r-- setup.c
-rw-r--r-- topology.c