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

/seL4-mcs-10.1.1/src/object/
H A Dnotification.c26 tcb_queue_t ntfn_queue; local
28 ntfn_queue.head = (tcb_t*)notification_ptr_get_ntfnQueue_head(ntfnPtr);
29 ntfn_queue.end = (tcb_t*)notification_ptr_get_ntfnQueue_tail(ntfnPtr);
31 return ntfn_queue;
35 ntfn_ptr_set_queue(notification_t *ntfnPtr, tcb_queue_t ntfn_queue) argument
37 notification_ptr_set_ntfnQueue_head(ntfnPtr, (word_t)ntfn_queue.head);
38 notification_ptr_set_ntfnQueue_tail(ntfnPtr, (word_t)ntfn_queue.end);
117 tcb_queue_t ntfn_queue; local
120 ntfn_queue = ntfn_ptr_get_queue(ntfnPtr);
121 dest = ntfn_queue
164 tcb_queue_t ntfn_queue; local
220 tcb_queue_t ntfn_queue; local
[all...]

Completed in 26 milliseconds