| /branches/rcu/kernel/generic/include/proc/tasklet.h |
|---|
| 82,6 → 82,13 |
| */ |
| void tasklet_schedule(tasklet_descriptor_t* t); |
| /** Schedules the tasklet for execution on id CPU |
| * @param t tasklet to be scheduled |
| * @param id CPU id on which the tasklet will be scheduled |
| */ |
| void tasklet_schedule_SMP(tasklet_descriptor_t* t, uint32_t id); |
| /** Tasklet will not be run, even if scheduled |
| * @param t tasklet to be disabled |
| */ |