Searched refs:tcbCTable (Results 1 - 7 of 7) sorted by relevance
/seL4-refos-master/kernel/src/machine/ |
H A D | capdl.c | 232 if (cap_get_capType(TCB_PTR_CTE_PTR(tcb, tcbCTable)->cap) != cap_null_cap) { 234 (void *)cap_cnode_cap_get_capCNodePtr(TCB_PTR_CTE_PTR(tcb, tcbCTable)->cap)); 235 cap_cnode_print_attrs(TCB_PTR_CTE_PTR(tcb, tcbCTable)->cap); 291 cap_t root = TCB_PTR_CTE_PTR(tcb, tcbCTable)->cap; 387 if (cap_get_capType(TCB_PTR_CTE_PTR(curr, tcbCTable)->cap) == cap_cnode_cap) { 388 obj_tcb_print_cnodes(TCB_PTR_CTE_PTR(curr, tcbCTable)->cap, curr);
|
/seL4-refos-master/kernel/src/fastpath/ |
H A D | fastpath.c | 51 ep_cap = lookup_fp(TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbCTable)->cap, cptr); 263 ep_cap = lookup_fp(TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbCTable)->cap, 274 cap_t reply_cap = lookup_fp(TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbCTable)->cap, reply);
|
/seL4-refos-master/kernel/src/kernel/ |
H A D | cspace.c | 57 threadRoot = TCB_PTR_CTE_PTR(thread, tcbCTable)->cap;
|
H A D | boot.c | 475 SLOT_PTR(rootserver.tcb, tcbCTable)
|
/seL4-refos-master/kernel/include/object/ |
H A D | structures.h | 182 tcbCTable = 0, enumerator in enum:tcb_cnode_index
|
/seL4-refos-master/kernel/src/object/ |
H A D | tcb.c | 1087 TCB_PTR_CTE_PTR(cap_thread_cap_get_capTCBPtr(cap), tcbCTable)) || 1479 TCB_PTR_CTE_PTR(cap_thread_cap_get_capTCBPtr(cap), tcbCTable)) || 1718 e = installTCBCap(target, tCap, slot, tcbCTable, cRoot_newCap, cRoot_srcSlot); 1774 rootSlot = TCB_PTR_CTE_PTR(target, tcbCTable);
|
H A D | objecttype.c | 189 cte_ptr = TCB_PTR_CTE_PTR(tcb, tcbCTable);
|
Completed in 97 milliseconds