[PATCH] x86_64: Use for_each_cpu_mask for clustered IPI flush
authorAndi Kleen <ak@suse.de>
Fri, 29 Jul 2005 04:15:25 +0000 (21:15 -0700)
committerLinus Torvalds <torvalds@g5.osdl.org>
Fri, 29 Jul 2005 04:45:57 +0000 (21:45 -0700)
commit74f0629397cb435e144ff47c48f3bc39e879f196
treea5e7a0c889304e3e56b54ea2c8006aa23589cd11
parentacc7b6f01c3d387faa34233a25949eaaf18e0753
[PATCH] x86_64: Use for_each_cpu_mask for clustered IPI flush

Makes it slightly more efficient.

Signed-off-by: Andi Kleen <ak@suse.de>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
include/asm-x86_64/ipi.h