[PATCH] x86_64: Use for_each_cpu_mask for clustered IPI flush

Makes it slightly more efficient.
Signed-off-by: NAndi Kleen <ak@suse.de>
Signed-off-by: NAndrew Morton <akpm@osdl.org>
Signed-off-by: NLinus Torvalds <torvalds@osdl.org>

include/asm-x86_64/ipi.h

@@ -82,9 +82,7 @@ static inline void send_IPI_mask_sequence(cpumask_t mask, int vector)
 	 */
 	local_irq_save(flags);
 
-	for (query_cpu = 0; query_cpu < NR_CPUS; ++query_cpu) {
-		if (cpu_isset(query_cpu, mask)) {
-
+	for_each_cpu_mask(query_cpu, mask) {
 		/*
 		 * Wait for idle.
 		 */
@@ -106,7 +104,6 @@ static inline void send_IPI_mask_sequence(cpumask_t mask, int vector)
 		 */
 		apic_write_around(APIC_ICR, cfg);
 	}
-	}
 	local_irq_restore(flags);
 }