Searched refs:TCB_REF (Results 1 – 8 of 8) sorted by relevance
| /seL4-master/src/fastpath/ |
| A D | fastpath.c | 165 endpoint_ptr_set_epQueue_head_np(ep_ptr, TCB_REF(dest->tcbEPNext)); in fastpath_call()
204 TCB_REF(NODE_STATE(ksCurThread))); in fastpath_call()
429 endpoint_ptr_set_epQueue_head_np(ep_ptr, TCB_REF(NODE_STATE(ksCurThread))); in fastpath_reply_recv()
430 endpoint_ptr_mset_epQueue_tail_state(ep_ptr, TCB_REF(NODE_STATE(ksCurThread)), in fastpath_reply_recv()
436 endpoint_ptr_set_epQueue_head_np(ep_ptr, TCB_REF(queue.head)); in fastpath_reply_recv()
437 endpoint_ptr_mset_epQueue_tail_state(ep_ptr, TCB_REF(queue.end), EPState_Recv); in fastpath_reply_recv()
445 endpoint_ptr_mset_epQueue_tail_state(ep_ptr, TCB_REF(NODE_STATE(ksCurThread)), in fastpath_reply_recv()
|
| /seL4-master/include/arch/riscv/arch/fastpath/ |
| A D | fastpath.h | 105 *((word_t *)sp) = TCB_REF(cur_thread); in fastpath_restore()
117 register word_t cur_thread_reg asm("t0") = TCB_REF(cur_thread); in fastpath_restore()
|
| /seL4-master/include/fastpath/ |
| A D | fastpath.h | 76 cap_ptr->words[0] = TCB_REF(capTCBPtr) | (capReplyMaster << 4) | in cap_reply_cap_ptr_new_np()
|
| /seL4-master/include/object/ |
| A D | structures.h | 94 #define TCB_REF(p) ((word_t)(p)) macro
|
| /seL4-master/src/object/ |
| A D | objecttype.c | 544 return cap_thread_cap_new(TCB_REF(tcb)); in createObject()
|
| A D | cnode.c | 767 slot->cap = cap_reply_cap_new(true, true, TCB_REF(thread)); in setupReplyMaster()
|
| A D | tcb.c | 368 cteInsert(cap_reply_cap_new(canGrant, false, TCB_REF(sender)), in setupCallerCap()
|
| /seL4-master/src/kernel/ |
| A D | boot.c | 533 cap_t cap = cap_thread_cap_new(TCB_REF(tcb)); in create_initial_thread()
|
Completed in 15 milliseconds