From: Fernando Luis [** ISO-8859-1 charset **] VázquezCao <fernando@oss.ntt.co.jp>
Date: Wed, 2 May 2007 17:27:18 +0000 (+0200)
Subject: [PATCH] x86-64: __send_IPI_dest_field - x86_64
X-Git-Tag: v2.6.22-rc1~1011^2~51
X-Git-Url: https://git.openpandora.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9062d888aa448318e38792b6879a795dd10adda4;p=pandora-kernel.git

[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>
---

Reading git-diff-tree failed