/* * Copyright (c) 2017 Intel Corporation * * SPDX-License-Identifier: Apache-2.0 */ #include #include #include "ksched.h" #include "wait_q.h" void ready_one_thread(_wait_q_t *wq) { struct k_thread *th = _unpend_first_thread(wq); if (th) { _abort_thread_timeout(th); _ready_thread(th); } }