* Dequeue thread from ready queue. * Must be called before thread enters blocked state. * IRQ-safe: protects critical section from interrupt corruption. */
source not stored for this graph (policy: none)
no test coverage detected