src/ppe/pk/kernel/pk_thread.h
// Interrupts must be disabled at entry. This is only called on mapped threads.
Interrupts must be disabled at entry. This is only called on mapped threads.
Interrupts must be disabled at entry . This is only called on mapped threads .
static inline int
__pk_thread_is_runnable(PkThread *thread)
{
    return __pk_thread_queue_member(&__pk_run_queue, thread->priority);
}
static inline int __pk_thread_is_runnable ( PkThread * thread ) { return __pk_thread_queue_member ( & __pk_run_queue , thread -> priority ) ; }
Interrupts must be disabled at entry.
Interrupts must be disabled at entry .