/* for now, we send the IPI's one by one in the cpumask. TBD: Based on the cpu mask, we can send the IPI's to the cluster group at once. We have 16 cpu's in a cluster. This will minimize IPI register writes.  */
static void x2apic_send_IPI_mask(const struct cpumask *mask, int vector)
/* for now, we send the IPI's one by one in the cpumask. TBD: Based on the cpu mask, we can send the IPI's to the cluster group at once. We have 16 cpu's in a cluster. This will minimize IPI register writes.  */
static void x2apic_send_IPI_mask(const struct cpumask *mask, int vector)
{
	unsigned long query_cpu;
	unsigned long flags;
	x2apic_wrmsr_fence();
	local_irq_save(flags);
	for_each_cpu(query_cpu, mask) {
		__x2apic_send_IPI_dest(
			per_cpu(x86_cpu_to_logical_apicid, query_cpu),
			vector, apic->dest_logical);
	}
	local_irq_restore(flags);
}