WARN_ON(mask & ~cpus_addr(cpu_online_map)[0]);
void send_IPI_mask_bitmask(cpumask_t cpumask, int vector){	unsigned long mask = cpus_addr(cpumask)[0];	unsigned long cfg;	unsigned long flags;	local_irq_save(flags);			/*	 * Wait for idle.	 */	apic_wait_icr_idle();			/*	 * prepare target chip field	 */	cfg = __prepare_ICR2(mask);	apic_write_around(APIC_ICR2, cfg);			/*	 * program the ICR 	 */	cfg = __prepare_ICR(0, vector);				/*	 * Send the IPI. The write to APIC_ICR fires this off.	 */	apic_write_around(APIC_ICR, cfg);	local_irq_restore(flags);}