1 #ifndef __ASM_MACH_IPI_H
2 #define __ASM_MACH_IPI_H
4 void send_IPI_mask_bitmask(cpumask_t mask
, int vector
);
5 void __send_IPI_shortcut(unsigned int shortcut
, int vector
);
7 static inline void send_IPI_mask(cpumask_t mask
, int vector
)
9 send_IPI_mask_bitmask(mask
, vector
);
12 static inline void send_IPI_allbutself(int vector
)
15 * if there are no other CPUs in the system then we get an APIC send
16 * error if we try to broadcast, thus avoid sending IPIs in this case.
18 if (!(num_online_cpus() > 1))
21 __send_IPI_shortcut(APIC_DEST_ALLBUT
, vector
);
25 static inline void send_IPI_all(int vector
)
27 __send_IPI_shortcut(APIC_DEST_ALLINC
, vector
);
30 #endif /* __ASM_MACH_IPI_H */