/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()
|