4 #include <linux/cpumask.h>
6 extern void irq_raise_softirq(const struct cpumask
*mask
, unsigned int irq
);
8 /* use Soft IRQ1 as the IPI */
9 static inline void smp_cross_call(const struct cpumask
*mask
)
11 irq_raise_softirq(mask
, CPU_BRINGUP_SGI
);
14 static inline int get_HW_cpuid(void)
17 asm ("mrc p15, 0, %0, c0, c0, 5 @ Get CPUID\n"
19 return (id
&0x3)+((id
&0xF00)>>6);
22 #endif /* !__MT_SMP_H */