|
@@ -15,6 +15,7 @@
|
|
#include <linux/kernel.h>
|
|
#include <linux/kernel.h>
|
|
#include <linux/cpumask.h>
|
|
#include <linux/cpumask.h>
|
|
#include <linux/bitops.h>
|
|
#include <linux/bitops.h>
|
|
|
|
+#include <linux/irqreturn.h>
|
|
|
|
|
|
#include <asm/io.h>
|
|
#include <asm/io.h>
|
|
#include <asm/param.h>
|
|
#include <asm/param.h>
|
|
@@ -123,6 +124,7 @@ extern void __init smp_build_cpu_map(void);
|
|
extern void __init init_smp_config (void);
|
|
extern void __init init_smp_config (void);
|
|
extern void smp_do_timer (struct pt_regs *regs);
|
|
extern void smp_do_timer (struct pt_regs *regs);
|
|
|
|
|
|
|
|
+extern irqreturn_t handle_IPI(int irq, void *dev_id);
|
|
extern void smp_send_reschedule (int cpu);
|
|
extern void smp_send_reschedule (int cpu);
|
|
extern void lock_ipi_calllock(void);
|
|
extern void lock_ipi_calllock(void);
|
|
extern void unlock_ipi_calllock(void);
|
|
extern void unlock_ipi_calllock(void);
|