Searched refs:tcbCTable (Results 1 - 7 of 7) sorted by relevance

/seL4-refos-master/kernel/src/machine/
H A Dcapdl.c232 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 Dfastpath.c51 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 Dcspace.c57 threadRoot = TCB_PTR_CTE_PTR(thread, tcbCTable)->cap;
H A Dboot.c475 SLOT_PTR(rootserver.tcb, tcbCTable)
/seL4-refos-master/kernel/include/object/
H A Dstructures.h182 tcbCTable = 0, enumerator in enum:tcb_cnode_index
/seL4-refos-master/kernel/src/object/
H A Dtcb.c1087 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 Dobjecttype.c189 cte_ptr = TCB_PTR_CTE_PTR(tcb, tcbCTable);

Completed in 97 milliseconds