Searched refs:CTE_REF (Results 1 – 4 of 4) sorted by relevance
| /seL4-master/src/object/ |
| A D | cnode.c | 421 newMDB = mdb_node_set_mdbPrev(srcMDB, CTE_REF(srcSlot)); in cteInsert()
441 CTE_REF(destSlot)); in cteInsert()
466 CTE_REF(destSlot)); in cteMove()
472 CTE_REF(destSlot)); in cteMove()
503 CTE_REF(slot2)); in cteSwap()
509 CTE_REF(slot2)); in cteSwap()
519 CTE_REF(slot1)); in cteSwap()
525 CTE_REF(slot1)); in cteSwap()
751 slot->cteMDBNode = mdb_node_new(CTE_REF(next), true, true, CTE_REF(parent)); in insertNewCap()
753 mdb_node_ptr_set_mdbPrev(&next->cteMDBNode, CTE_REF(slot)); in insertNewCap()
[all …]
|
| A D | objecttype.c | 209 CTE_REF(cte_ptr) in finaliseCap()
565 return cap_cnode_cap_new(userSize, 0, 0, CTE_REF(regionBase)); in createObject()
|
| /seL4-master/include/object/ |
| A D | structures.h | 62 #define CTE_REF(p) ((word_t)(p)) macro
66 #define CNODE_REF(p) (CTE_REF(p)>>CNODE_MIN_BITS)
|
| /seL4-master/src/fastpath/ |
| A D | fastpath.c | 205 mdb_node_ptr_set_mdbPrev_np(&callerSlot->cteMDBNode, CTE_REF(replySlot)); in fastpath_call()
207 &replySlot->cteMDBNode, CTE_REF(callerSlot), 1, 1); in fastpath_call()
|
Completed in 8 milliseconds