| commit | 45ae5e968ea01d8326833ca2863cec5183ce1930 | [log] [tgz] |
|---|---|---|
| author | Fernando Luis [** ISO-8859-1 charset **] VázquezCao <fernando@oss.ntt.co.jp> | Wed May 02 19:27:18 2007 +0200 |
| committer | Andi Kleen <andi@basil.nowhere.org> | Wed May 02 19:27:18 2007 +0200 |
| tree | 63b3146cac6f725f7f7ae0c4044e218b7af9bd2b | |
| parent | 3144c332fa2ee4c4b9804aae5fe31098f04bffd9 [diff] |
[PATCH] i386: __send_IPI_dest_field - i386 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>