|
@@ -46,10 +46,7 @@ extern int pic_mode;
|
|
|
extern void lock_ipi_call_lock(void);
|
|
|
extern void unlock_ipi_call_lock(void);
|
|
|
extern int smp_num_siblings;
|
|
|
-extern void smp_flush_tlb(void);
|
|
|
-extern void smp_message_irq(int cpl, void *dev_id, struct pt_regs *regs);
|
|
|
extern void smp_send_reschedule(int cpu);
|
|
|
-extern void smp_invalidate_rcv(void); /* Process an NMI */
|
|
|
extern void zap_low_mappings(void);
|
|
|
void smp_stop_cpu(void);
|
|
|
extern cpumask_t cpu_sibling_map[NR_CPUS];
|