src/object/notification.c

26     tcb_queue_t ntfn_queue;
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)
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;
120         ntfn_queue = ntfn_ptr_get_queue(ntfnPtr);
121         dest = ntfn_queue.head;
127         ntfn_queue = tcbEPDequeue(dest, ntfn_queue);
128         ntfn_ptr_set_queue(ntfnPtr, ntfn_queue);
131         if (!ntfn_queue.head) {
164         tcb_queue_t ntfn_queue;
176             ntfn_queue = ntfn_ptr_get_queue(ntfnPtr);
177             ntfn_queue = tcbEPAppend(thread, ntfn_queue);
180             ntfn_ptr_set_queue(ntfnPtr, ntfn_queue);
220     tcb_queue_t ntfn_queue;
226     ntfn_queue = ntfn_ptr_get_queue(ntfnPtr);
227     ntfn_queue = tcbEPDequeue(threadPtr, ntfn_queue);
228     ntfn_ptr_set_queue(ntfnPtr, ntfn_queue);
231     if (!ntfn_queue.head) {