x86, xen: fix build when !CONFIG_HOTPLUG_CPU
authorAlex Nixon <alex.nixon@citrix.com>
Mon, 8 Sep 2008 12:43:33 +0000 (13:43 +0100)
committerIngo Molnar <mingo@elte.hu>
Mon, 8 Sep 2008 17:12:23 +0000 (19:12 +0200)
Signed-off-by: Alex Nixon <alex.nixon@citrix.com>
Acked-by: Jeremy Fitzhardinge <jeremy@goop.org>
Signed-off-by: Ingo Molnar <mingo@elte.hu>

No differences found