tk::detail void void tk::detail::static_register (const char *name, TaskFn fn, uint32_t prio) static_register tk::detail::static_register const char * name TaskFn fn uint32_t prio uint32_t uint32_t tk::detail::sched_lock () sched_lock tk::detail::sched_lock void void tk::detail::sched_unlock (uint32_t save) sched_unlock tk::detail::sched_unlock uint32_t save void void tk::detail::block_current_task_locked () block_current_task_locked tk::detail::block_current_task_locked void void tk::detail::wake_task_locked (TaskHandle handle) wake_task_locked tk::detail::wake_task_locked TaskHandle handle uint8_t uint8_t tk::detail::current_task_slot () current_task_slot tk::detail::current_task_slot uint8_t uint8_t tk::detail::find_highest_prio_waiter (task_mask_t wait_mask) find_highest_prio_waiter tk::detail::find_highest_prio_waiter task_mask_t wait_mask