diff options
| author | Fernando Luis [** ISO-8859-1 charset **] VázquezCao <fernando@oss.ntt.co.jp> | 2007-05-02 13:27:18 -0400 |
|---|---|---|
| committer | Andi Kleen <andi@basil.nowhere.org> | 2007-05-02 13:27:18 -0400 |
| commit | 9062d888aa448318e38792b6879a795dd10adda4 (patch) | |
| tree | facddd433abf2adcc342bdcfb1ff5ddb3704b519 /block | |
| parent | 45ae5e968ea01d8326833ca2863cec5183ce1930 (diff) | |
[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>
Diffstat (limited to 'block')
0 files changed, 0 insertions, 0 deletions