| 285 | SKR_TASK_API void wait(event_t event); |
| 286 | SKR_TASK_API void wait(counter_t counter); |
| 287 | inline void sync(event_t event) |
| 288 | { |
| 289 | scheduler_t::instance()->sync(std::move(event)); |
| 290 | } |
| 291 | inline void sync(counter_t counter) |
| 292 | { |
| 293 | scheduler_t::instance()->sync(std::move(counter)); |
no test coverage detected