Searched refs:rootSlot (Results 1 - 3 of 3) sorted by relevance
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | tcb.c | 32 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 D | untyped.c | 32 cte_t *rootSlot UNUSED; 66 rootSlot = excaps.excaprefs[0];
|
H A D | tcb.c | 1674 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