Searched refs:tcb_queue (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/object/
H A Dtcb.h27 struct tcb_queue { struct
31 typedef struct tcb_queue tcb_queue_t;

Completed in 78 milliseconds