Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>
void __init find_smp_config (void)
{
+#ifndef CONFIG_XEN
unsigned int address;
+#endif
/*
* FIXME: Linux assumes you have 640K of base ram..
unbind_ipi_from_irq(CALL_FUNCTION_VECTOR);
}
+extern void local_setup_timer_irq(void);
+extern void local_teardown_timer_irq(void);
+
void smp_suspend(void)
{
/* XXX todo: take down time and ipi's on all cpus */
unbind_evtchn_from_irq(evtchn);
}
+#ifdef CONFIG_SMP
static void do_nothing_function(void *ign)
{
}
+#endif
/* Rebind an evtchn so that it gets delivered to a specific cpu */
static void rebind_irq_to_cpu(unsigned irq, unsigned tcpu)
* Copyright (c) 2005, Christopher Clark
*/
+#include <linux/spinlock.h>
+#include <asm-xen/balloon.h>
#include "common.h"
/*