[PATCH] x86-64: __send_IPI_dest_field - x86_64
authorFernando Luis [** ISO-8859-1 charset **] VázquezCao <fernando@oss.ntt.co.jp>
Wed, 2 May 2007 17:27:18 +0000 (19:27 +0200)
committerAndi Kleen <andi@basil.nowhere.org>
Wed, 2 May 2007 17:27:18 +0000 (19:27 +0200)
commit9062d888aa448318e38792b6879a795dd10adda4
treefacddd433abf2adcc342bdcfb1ff5ddb3704b519
parent45ae5e968ea01d8326833ca2863cec5183ce1930
[PATCH] x86-64: __send_IPI_dest_field - x86_64

Implement __send_IPI_dest_field which can be used to send IPIs when the
"destination shorthand" field of the ICR is set to 00 (destination
field). Use it whenever possible.

Signed-off-by: Fernando Luis Vazquez Cao <fernando@oss.ntt.co.jp>
Signed-off-by: Andi Kleen <ak@suse.de>
arch/x86_64/kernel/genapic_flat.c
include/asm-x86_64/ipi.h