[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>
This commit is contained in:
Fernando Luis [** ISO-8859-1 charset **] VzquezCao 2007-05-02 19:27:18 +02:00 committed by Andi Kleen
commit 9062d888aa
2 changed files with 33 additions and 44 deletions