/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 |
*/ |