Rev 2296 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2296 | Rev 2309 | ||
|---|---|---|---|
| Line 80... | Line 80... | ||
| 80 | /** Schedules the tasklet for execution on current CPU |
80 | /** Schedules the tasklet for execution on current CPU |
| 81 | * @param t tasklet to be scheduled |
81 | * @param t tasklet to be scheduled |
| 82 | */ |
82 | */ |
| 83 | void tasklet_schedule(tasklet_descriptor_t* t); |
83 | void tasklet_schedule(tasklet_descriptor_t* t); |
| 84 | 84 | ||
| - | 85 | ||
| - | 86 | /** Schedules the tasklet for execution on id CPU |
|
| - | 87 | * @param t tasklet to be scheduled |
|
| - | 88 | * @param id CPU id on which the tasklet will be scheduled |
|
| - | 89 | */ |
|
| - | 90 | void tasklet_schedule_SMP(tasklet_descriptor_t* t, uint32_t id); |
|
| - | 91 | ||
| 85 | /** Tasklet will not be run, even if scheduled |
92 | /** Tasklet will not be run, even if scheduled |
| 86 | * @param t tasklet to be disabled |
93 | * @param t tasklet to be disabled |
| 87 | */ |
94 | */ |
| 88 | void tasklet_disable(tasklet_descriptor_t* t); |
95 | void tasklet_disable(tasklet_descriptor_t* t); |
| 89 | 96 | ||