diff options
| author | Xiaotian Feng <[email protected]> | 2012-11-24 23:08:54 -0800 |
|---|---|---|
| committer | Dmitry Torokhov <[email protected]> | 2012-11-25 00:10:13 -0800 |
| commit | 52ad48a0ce25d4d44ce82b7e28a35eb69598e5f1 (patch) | |
| tree | 4530782e625b214a91c43e4d58731710ce03a84a /lib/mpi/mpi-internal.h | |
| parent | f32198176598fffdc8dca65a1a719dd9fba7d581 (diff) | |
Input: HIL - do not call tasklet_disable right before tasklet_kill
We do not need to call tasklet_disable() before calling tasklet_kill() if
taskelt does not reschedult itself.
Signed-off-by: Xiaotian Feng <[email protected]>
Signed-off-by: Dmitry Torokhov <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-internal.h')
0 files changed, 0 insertions, 0 deletions