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

/seL4-test-master/projects/musllibc/src/termios/
H A Dtcflush.c4 int tcflush(int fd, int queue) argument
6 return ioctl(fd, TCFLSH, queue);
/seL4-test-master/kernel/src/object/
H A Dendpoint.c19 static inline void ep_ptr_set_queue(endpoint_t *epptr, tcb_queue_t queue) argument
21 endpoint_ptr_set_epQueue_head(epptr, (word_t)queue.head);
22 endpoint_ptr_set_epQueue_tail(epptr, (word_t)queue.end);
37 tcb_queue_t queue; local
55 /* Place calling thread in endpoint queue */
56 queue = ep_ptr_get_queue(epptr);
57 queue = tcbEPAppend(thread, queue);
59 ep_ptr_set_queue(epptr, queue);
64 tcb_queue_t queue; local
169 tcb_queue_t queue; local
200 tcb_queue_t queue; local
310 tcb_queue_t queue; local
413 tcb_queue_t queue = ep_ptr_get_queue(epptr); local
466 tcb_queue_t queue = ep_ptr_get_queue(epptr); local
[all...]
H A Dnotification.c130 /* Haskell error "WaitingNtfn Notification must have non-empty queue" */
137 /* set the thread state to idle if the queue is empty */
303 tcb_queue_t queue = ntfn_ptr_get_queue(ntfnPtr); local
304 queue = tcbEPDequeue(thread, queue);
305 queue = tcbEPAppend(thread, queue);
306 ntfn_ptr_set_queue(ntfnPtr, queue);
H A Dtcb.c81 /* Add TCB to the head of a scheduler queue */
90 tcb_queue_t queue; local
98 queue = NODE_STATE_ON_CORE(ksReadyQueues[idx], tcb->tcbAffinity);
100 if (!queue.end) { /* Empty list */
101 queue.end = tcb;
104 queue.head->tcbSchedPrev = tcb;
107 tcb->tcbSchedNext = queue.head;
108 queue.head = tcb;
110 NODE_STATE_ON_CORE(ksReadyQueues[idx], tcb->tcbAffinity) = queue;
116 /* Add TCB to the end of a scheduler queue */
125 tcb_queue_t queue; local
155 tcb_queue_t queue; local
226 tcbEPAppend(tcb_t *tcb, tcb_queue_t queue) argument
242 tcbEPDequeue(tcb_t *tcb, tcb_queue_t queue) argument
[all...]
/seL4-test-master/kernel/include/object/
H A Dendpoint.h14 tcb_queue_t queue; local
16 queue.head = (tcb_t *)endpoint_ptr_get_epQueue_head(epptr);
17 queue.end = (tcb_t *)endpoint_ptr_get_epQueue_tail(epptr);
19 return queue;
H A Dtcb.h81 /* Add TCB into the priority ordered endpoint queue */
82 static inline tcb_queue_t tcbEPAppend(tcb_t *tcb, tcb_queue_t queue) argument
84 /* start at the back of the queue as FIFO is the common case */
85 tcb_t *before = queue.end;
96 queue.head = tcb;
103 queue.end = tcb;
111 return queue;
114 tcb_queue_t tcbEPDequeue(tcb_t *tcb, tcb_queue_t queue);
117 tcb_queue_t tcbEPAppend(tcb_t *tcb, tcb_queue_t queue);
118 tcb_queue_t tcbEPDequeue(tcb_t *tcb, tcb_queue_t queue);
[all...]
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dvirtio_emul.c53 *result = emul->virtq.queue_size[emul->virtq.queue];
57 *result = emul->virtq.queue_pfn[emul->virtq.queue];
82 emul->virtq.queue = (value & 0xffff);
83 assert(emul->virtq.queue == 0 || emul->virtq.queue == 1);
87 int queue = emul->virtq.queue; local
88 emul->virtq.queue_pfn[queue] = value;
89 vring_init(&emul->virtq.vring[queue], emul->virtq.queue_size[queue], (voi
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/src/
H A Dtqueue.c89 /* remove from queue */
91 sglib_tqueue_node_t_delete(&tq->queue, &tq->array[id]);
110 /* delete the callback from the queue if its present */
112 sglib_tqueue_node_t_delete(&tq->queue, &tq->array[id]);
120 sglib_tqueue_node_t_add(&tq->queue, &tq->array[id]);
136 /* delete the callback from the queue if its present */
138 sglib_tqueue_node_t_delete(&tq->queue, &tq->array[id]);
150 /* keep checking the head of this queue */
151 tqueue_node_t *t = head(tq->queue);
159 sglib_tqueue_node_t_delete(&tq->queue,
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dtqueue.h38 /* is this timeout in the callback queue? */
40 /* next ptr for queue */
47 tqueue_node_t *queue; member in struct:__anon587
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/
H A Dvirtio_pci_emul.h30 uint16_t queue; member in struct:v_queue
/seL4-test-master/kernel/src/fastpath/
H A Dfastpath.c426 /* Place the thread in the endpoint queue */
432 /* Set head/tail of queue and endpoint state. */
438 /* Update queue. */
439 tcb_queue_t queue = tcbEPAppend(NODE_STATE(ksCurThread), ep_ptr_get_queue(ep_ptr)); local
440 endpoint_ptr_set_epQueue_head_np(ep_ptr, TCB_REF(queue.head));
441 endpoint_ptr_mset_epQueue_tail_state(ep_ptr, TCB_REF(queue.end), EPState_Recv);
443 /* Append current thread onto the queue. */
448 /* Update tail of queue. */
/seL4-test-master/kernel/manual/parts/
H A Dipc.tex105 synchronous and blocking. An \obj{Endpoint} object may queue
108 system calls will wait in a queue for the first available receiver. Likewise, if
H A Dthreads.tex141 scheduling context is placed in a queue of threads waiting for more budget.
146 replenishment. Once the head budget is consumed, the thread is removed from the scheduling queue
171 replenishment queue. However, the scheduling overhead will be higher as the replenishment list is
188 suspending a thread, in that threads that are blocked waiting in an endpoint or notification queue
189 will remain in the queue and can still recieve messages and signals. However, the unbound thread

Completed in 69 milliseconds