static void physflat_send_IPI_all(int vector) { default_send_IPI_mask_sequence_phys(cpu_online_mask, vector); }
static void es7000_send_IPI_mask(const struct cpumask *mask, int vector) { default_send_IPI_mask_sequence_phys(mask, vector); }
static inline void bigsmp_send_IPI_mask(const struct cpumask *mask, int vector) { default_send_IPI_mask_sequence_phys(mask, vector); }