Home
last modified time | relevance | path

Searched refs:CTE_PTR (Results 1 – 9 of 9) sorted by relevance

/seL4-master/src/object/
A Dcnode.c465 &CTE_PTR(prev_ptr)->cteMDBNode, in cteMove()
471 &CTE_PTR(next_ptr)->cteMDBNode, in cteMove()
502 &CTE_PTR(prev_ptr)->cteMDBNode, in cteSwap()
508 &CTE_PTR(next_ptr)->cteMDBNode, in cteSwap()
518 &CTE_PTR(prev_ptr)->cteMDBNode, in cteSwap()
524 &CTE_PTR(next_ptr)->cteMDBNode, in cteSwap()
574 prev = CTE_PTR(mdb_node_get_mdbPrev(mdbNode)); in emptySlot()
575 next = CTE_PTR(mdb_node_get_mdbNext(mdbNode)); in emptySlot()
749 next = CTE_PTR(mdb_node_get_mdbNext(parent->cteMDBNode)); in insertNewCap()
852 prev = CTE_PTR(mdb_node_get_mdbPrev(mdb)); in isFinalCapability()
[all …]
A Duntyped.c162 destCNode = CTE_PTR(cap_cnode_cap_get_capCNodePtr(nodeCap)); in decodeUntypedInvocation()
A Dobjecttype.c955 return CTE_PTR(cap_cnode_cap_get_capCNodePtr(cap)); in cap_get_capPtr()
961 return CTE_PTR(cap_zombie_cap_get_capZombiePtr(cap)); in cap_get_capPtr()
A Dendpoint.c368 callerCap = CTE_PTR(mdb_node_get_mdbNext(slot->cteMDBNode)); in cancelIPC()
/seL4-master/include/object/
A Dstructures.h61 #define CTE_PTR(r) ((cte_t *)(r)) macro
65 #define CNODE_PTR(r) (CTE_PTR(r))
/seL4-master/include/fastpath/
A Dfastpath.h39 slot = CTE_PTR(cap_cnode_cap_get_capCNodePtr(cap)) + radix; in lookup_fp()
/seL4-master/src/machine/
A Dcapdl.c148 for (cte_t *nextPtr = CTE_PTR(mdb_node_get_mdbNext(slot->cteMDBNode)); in obj_ut_print_attrs()
150 nextPtr = CTE_PTR(mdb_node_get_mdbNext(slot->cteMDBNode))) { in obj_ut_print_attrs()
/seL4-master/src/kernel/
A Dcspace.c172 slot = CTE_PTR(cap_cnode_cap_get_capCNodePtr(nodeCap)) + offset; in resolveAddressBits()
/seL4-master/src/fastpath/
A Dfastpath.c469 &CTE_PTR(mdb_node_get_mdbPrev(callerSlot->cteMDBNode))->cteMDBNode, in fastpath_reply_recv()

Completed in 12 milliseconds