aboutsummaryrefslogtreecommitdiffstats
path: root/buildconfigs
diff options
context:
space:
mode:
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>2006-02-09 00:27:52 +0100
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>2006-02-09 00:27:52 +0100
commitc362c8308e21c18dfee49f72e6a411309b0baea6 (patch)
treed442b64c2a0d0cce0520b86913bda89d075a7e82 /buildconfigs
parente5d704d01ea433278b78d2d22dec4c048b065611 (diff)
downloadxen-c362c8308e21c18dfee49f72e6a411309b0baea6.tar.gz
xen-c362c8308e21c18dfee49f72e6a411309b0baea6.tar.bz2
xen-c362c8308e21c18dfee49f72e6a411309b0baea6.zip
Fix x86_64 CPU hotplug by paravirtualizing the play_dead() function.
Also fix the i386 play_dead() function to call idle_task_exit(), which ensures the CPU exits while running the init_mm. Otherwise other tasks may get stuck. Signed-off-by: Ryan Grimm <grimm@us.ibm.com> Signed-off-by: Keir Fraser <keir@xensource.com>
Diffstat (limited to 'buildconfigs')
-rw-r--r--buildconfigs/linux-defconfig_xenU_x86_642
-rw-r--r--buildconfigs/linux-defconfig_xen_x86_642
2 files changed, 2 insertions, 2 deletions
diff --git a/buildconfigs/linux-defconfig_xenU_x86_64 b/buildconfigs/linux-defconfig_xenU_x86_64
index 288c996169..e2cd16bf93 100644
--- a/buildconfigs/linux-defconfig_xenU_x86_64
+++ b/buildconfigs/linux-defconfig_xenU_x86_64
@@ -127,7 +127,7 @@ CONFIG_FLAT_NODE_MEM_MAP=y
# CONFIG_SPARSEMEM_STATIC is not set
CONFIG_SPLIT_PTLOCK_CPUS=4096
CONFIG_NR_CPUS=8
-# CONFIG_HOTPLUG_CPU is not set
+CONFIG_HOTPLUG_CPU=y
CONFIG_SWIOTLB=y
# CONFIG_CRASH_DUMP is not set
CONFIG_PHYSICAL_START=0x100000
diff --git a/buildconfigs/linux-defconfig_xen_x86_64 b/buildconfigs/linux-defconfig_xen_x86_64
index 58f18657c8..1f4a66a89b 100644
--- a/buildconfigs/linux-defconfig_xen_x86_64
+++ b/buildconfigs/linux-defconfig_xen_x86_64
@@ -130,7 +130,7 @@ CONFIG_FLAT_NODE_MEM_MAP=y
# CONFIG_SPARSEMEM_STATIC is not set
CONFIG_SPLIT_PTLOCK_CPUS=4096
CONFIG_NR_CPUS=8
-# CONFIG_HOTPLUG_CPU is not set
+CONFIG_HOTPLUG_CPU=y
CONFIG_SWIOTLB=y
# CONFIG_CRASH_DUMP is not set
CONFIG_PHYSICAL_START=0x100000