Searched refs:rootSlot (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/kernel/src/arch/x86/object/
H A Dtcb.c32 cte_t *rootSlot; local
35 rootSlot = TCB_PTR_CTE_PTR(tcb, tcbArchEPTRoot);
36 e = cteDelete(rootSlot, true);
41 cteInsert(cap, slot, rootSlot);
50 cte_t *rootSlot; local
53 rootSlot = excaps.excaprefs[0];
55 if (rootSlot == NULL) {
61 rootCap = rootSlot->cap;
69 dc_ret = deriveCap(rootSlot, rootCap);
80 return performSetEPTRoot(TCB_PTR(cap_thread_cap_get_capTCBPtr(cap)), dc_ret.cap, rootSlot);
[all...]
/seL4-test-master/kernel/src/object/
H A Duntyped.c32 cte_t *rootSlot UNUSED;
66 rootSlot = excaps.excaprefs[0];
H A Dtcb.c1674 cte_t *rootSlot = TCB_PTR_CTE_PTR(target, index); local
1675 UNUSED exception_t e = cteDelete(rootSlot, true);
1683 cteInsert(newCap, srcSlot, rootSlot);
1772 cte_t *rootSlot; local
1774 rootSlot = TCB_PTR_CTE_PTR(target, tcbCTable);
1775 e = cteDelete(rootSlot, true);
1781 cteInsert(cRoot_newCap, cRoot_srcSlot, rootSlot);
1786 cte_t *rootSlot; local
1788 rootSlot = TCB_PTR_CTE_PTR(target, tcbVTable);
1789 e = cteDelete(rootSlot, tru
[all...]

Completed in 100 milliseconds