static inline void send_IPI_mask(int mask, int vector) { if (clustered_apic_mode) send_IPI_mask_sequence(mask, vector); else send_IPI_mask_bitmask(mask, vector); }
void send_IPI_mask_sequence(cpumask_t mask, int vector) { send_IPI_mask_bitmask(mask, vector); }