Searched defs:ntfn_queue (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/kernel/src/object/
H A Dnotification.c21 tcb_queue_t ntfn_queue; local
29 static inline void ntfn_ptr_set_queue(notification_t *ntfnPtr, tcb_queue_t ntfn_queue) argument
124 tcb_queue_t ntfn_queue; local
171 tcb_queue_t ntfn_queue; local
233 tcb_queue_t ntfn_queue; local
[all...]

Completed in 54 milliseconds