diff options
| author | Fernando Luis [** ISO-8859-1 charset **] V�zquezCao <[email protected]> | 2007-05-02 19:27:18 +0200 |
|---|---|---|
| committer | Andi Kleen <[email protected]> | 2007-05-02 19:27:18 +0200 |
| commit | 45ae5e968ea01d8326833ca2863cec5183ce1930 (patch) | |
| tree | 63b3146cac6f725f7f7ae0c4044e218b7af9bd2b /include/linux/workqueue.h | |
| 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 <[email protected]>
Signed-off-by: Andi Kleen <[email protected]>
Diffstat (limited to 'include/linux/workqueue.h')
0 files changed, 0 insertions, 0 deletions