[PATCH] i386: Dont use IPI broadcast when using cpu hotplug.
[powerpc.git] / arch / x86_64 / oprofile /
drwxr-xr-x   ..
-rw-r--r-- 499 Kconfig
-rw-r--r-- 549 Makefile