| /seL4-master/src/object/ |
| A D | endpoint.c | 40 thread_state_ptr_set_tsType(&thread->tcbState, in sendIPC()
43 &thread->tcbState, EP_REF(epptr)); in sendIPC()
45 &thread->tcbState, badge); in sendIPC()
47 &thread->tcbState, canGrant); in sendIPC()
49 &thread->tcbState, canGrantReply); in sendIPC()
51 &thread->tcbState, do_call); in sendIPC()
176 thread_state_ptr_set_tsType(&thread->tcbState, in receiveIPC()
179 &thread->tcbState, EP_REF(epptr)); in receiveIPC()
228 thread_state_ptr_get_blockingIPCCanGrant(&sender->tcbState); in receiveIPC()
314 thread_state_t *state = &tptr->tcbState; in cancelIPC()
[all …]
|
| A D | reply.c | 21 assert(thread_state_get_replyObject(tcb_caller->tcbState) == 0); in reply_push()
26 thread_state_ptr_set_replyObject(&tcb_callee->tcbState, 0); in reply_push()
30 thread_state_ptr_set_replyObject(&tcb_caller->tcbState, REPLY_REF(reply)); in reply_push()
58 assert(thread_state_get_tsType(tcb->tcbState) == ThreadState_BlockedOnReply); in reply_pop()
59 assert(thread_state_get_replyObject(tcb->tcbState) == REPLY_REF(reply)); in reply_pop()
92 assert(thread_state_get_tsType(tcb->tcbState) == ThreadState_BlockedOnReply); in reply_remove()
93 assert(thread_state_get_replyObject(tcb->tcbState) == REPLY_REF(reply)); in reply_remove()
117 assert(thread_state_get_tsType(tcb->tcbState) == ThreadState_BlockedOnReply); in reply_remove_tcb()
118 reply_t *reply = REPLY_PTR(thread_state_get_replyObject(tcb->tcbState)); in reply_remove_tcb()
|
| A D | notification.c | 75 if (thread_state_ptr_get_tsType(&tcb->tcbState) == ThreadState_BlockedOnReceive) { in sendSignal()
97 } else if (thread_state_ptr_get_tsType(&tcb->tcbState) == ThreadState_RunningVM) { in sendSignal()
209 thread_state_ptr_set_tsType(&thread->tcbState, in receiveSignal()
211 thread_state_ptr_set_blockingObject(&thread->tcbState, in receiveSignal()
|
| A D | tcb.c | 89 if (!thread_state_get_tcbQueued(tcb->tcbState)) { in tcbSchedEnqueue()
112 thread_state_ptr_set_tcbQueued(&tcb->tcbState, true); in tcbSchedEnqueue()
124 if (!thread_state_get_tcbQueued(tcb->tcbState)) { in tcbSchedAppend()
147 thread_state_ptr_set_tcbQueued(&tcb->tcbState, true); in tcbSchedAppend()
154 if (thread_state_get_tcbQueued(tcb->tcbState)) { in tcbSchedDequeue()
182 thread_state_ptr_set_tcbQueued(&tcb->tcbState, false); in tcbSchedDequeue()
262 if (likely(thread_state_get_tcbInReleaseQueue(tcb->tcbState))) { in tcbReleaseRemove()
277 thread_state_ptr_set_tcbInReleaseQueue(&tcb->tcbState, false); in tcbReleaseRemove()
283 assert(thread_state_get_tcbInReleaseQueue(tcb->tcbState) == false); in tcbReleaseEnqueue()
284 assert(thread_state_get_tcbQueued(tcb->tcbState) == false); in tcbReleaseEnqueue()
[all …]
|
| A D | schedcontext.c | 289 assert(!thread_state_get_tcbQueued(sc->scTcb->tcbState)); in schedContext_resume()
|
| A D | objecttype.c | 140 switch (thread_state_get_tsType(reply->replyTCB->tcbState)) { in finaliseCap()
|
| /seL4-master/src/fastpath/ |
| A D | fastpath.c | 141 reply_t *reply = thread_state_get_replyObject_np(dest->tcbState); in fastpath_call()
175 thread_state_ptr_set_tsType_np(&NODE_STATE(ksCurThread)->tcbState, in fastpath_call()
178 thread_state_ptr_set_replyObject_np(&dest->tcbState, 0); in fastpath_call()
179 thread_state_ptr_set_replyObject_np(&NODE_STATE(ksCurThread)->tcbState, REPLY_REF(reply)); in fastpath_call()
202 word_t replyCanGrant = thread_state_ptr_get_blockingIPCCanGrant(&dest->tcbState);; in fastpath_call()
213 thread_state_ptr_set_tsType_np(&dest->tcbState, in fastpath_call()
395 assert(thread_state_get_replyObject(NODE_STATE(ksCurThread)->tcbState) == 0); in fastpath_reply_recv()
410 &NODE_STATE(ksCurThread)->tcbState, (word_t)ep_ptr, ThreadState_BlockedOnReceive); in fastpath_reply_recv()
413 thread_state_ptr_set_replyObject_np(&caller->tcbState, 0); in fastpath_reply_recv()
418 thread_state_ptr_set_blockingIPCCanGrant(&NODE_STATE(ksCurThread)->tcbState, in fastpath_reply_recv()
[all …]
|
| /seL4-master/src/kernel/ |
| A D | thread.c | 44 switch (thread_state_get_tsType(NODE_STATE(ksCurThread)->tcbState)) { in activateThread()
72 if (thread_state_get_tsType(target->tcbState) == ThreadState_Running) { in suspend()
142 assert(thread_state_get_replyObject(receiver->tcbState) == REPLY_REF(0)); in doReplyTransfer()
150 assert(thread_state_get_tsType(receiver->tcbState) == in doReplyTransfer()
445 assert(!thread_state_get_tcbInReleaseQueue(thread->tcbState)); in switchToThread()
486 switch (thread_state_get_tsType(tptr->tcbState)) { in setPriority()
501 reorderEP(EP_PTR(thread_state_get_blockingObject(tptr->tcbState)), tptr); in setPriority()
554 thread_state_ptr_set_tsType(&tptr->tcbState, ts); in setThreadState()
621 assert(!thread_state_get_tcbQueued(NODE_STATE(ksCurThread)->tcbState)); in endTimeslice()
632 if (likely(thread_state_get_tsType(NODE_STATE(ksCurThread)->tcbState) == in timerTick()
[all …]
|
| /seL4-master/include/object/ |
| A D | reply.h | 18 assert(thread_state_get_replyObject(tcb->tcbState) == REPLY_REF(reply)); in reply_unlink()
20 thread_state_ptr_set_replyObject(&tcb->tcbState, REPLY_REF(0)); in reply_unlink()
|
| A D | structures.h | 251 thread_state_t tcbState; member
|
| /seL4-master/include/kernel/ |
| A D | thread.h | 41 switch (thread_state_get_tsType(thread->tcbState)) { in isRunnable()
85 switch (thread_state_get_tsType(thread->tcbState)) { in isBlocked()
99 switch (thread_state_get_tsType(thread->tcbState)) { in isStopped()
157 !thread_state_get_tcbInReleaseQueue(thread->tcbState); in isSchedulable()
|
| /seL4-master/include/api/ |
| A D | debug.h | 82 switch (thread_state_get_tsType(tcb->tcbState)) { in debug_printTCB()
119 printf("\t%lu", (word_t) thread_state_get_tcbInReleaseQueue(tcb->tcbState)); in debug_printTCB()
|
| /seL4-master/src/arch/x86/32/ |
| A D | c_traps.c | 131 if (thread_state_ptr_get_tsType(&NODE_STATE(ksCurThread)->tcbState) == ThreadState_RunningVM) { in restore_user_context()
|
| /seL4-master/src/smp/ |
| A D | ipi.c | 29 … if (thread_state_ptr_get_tsType(&NODE_STATE(ksCurThread)->tcbState) == ThreadState_Running) { in ipiStallCoreCallback()
|
| /seL4-master/src/arch/x86/64/ |
| A D | c_traps.c | 155 if (thread_state_ptr_get_tsType(&cur_thread->tcbState) == ThreadState_RunningVM) { in restore_user_context()
|
| /seL4-master/include/arch/x86/arch/64/mode/ |
| A D | machine.h | 269 if (thread_state_ptr_get_tsType(&thread->tcbState) == ThreadState_RunningVM) { in x86_save_fsgs_base()
|
| /seL4-master/src/arch/arm/object/ |
| A D | vcpu.c | 121 if (thread_state_get_tcbQueued(NODE_STATE(ksCurThread)->tcbState)) { in VPPIEvent()
148 if (thread_state_get_tcbQueued(NODE_STATE(ksCurThread)->tcbState)) { in VGICMaintenance()
|
| /seL4-master/src/api/ |
| A D | syscall.c | 435 thread_state_get_tsType(thread->tcbState) == ThreadState_Restart)) { in handleInvocation()
|
| /seL4-master/src/arch/x86/object/ |
| A D | vcpu.c | 1283 if (thread_state_ptr_get_tsType(&tcb->tcbState) == ThreadState_RunningVM in VMCheckBoundNotification()
|