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

/seL4-l4v-master/seL4/src/arch/arm/object/
H A Dsmmu.c103 cte_t *cbAssignSlot; local
129 cbAssignSlot = smmuStateSIDNode + sid;
130 status = ensureEmptySlot(cbAssignSlot);
140 cteInsert(cbCap, cbCapSlot, cbAssignSlot);
146 cap_cb_cap_ptr_set_capBindSID(&(cbAssignSlot->cap), sid);
151 cbAssignSlot = smmuStateSIDNode + sid;
152 if (unlikely(cap_get_capType(cbAssignSlot->cap) != cap_cb_cap)) {
157 status = cteDelete(cbAssignSlot, true);
174 cte_t *cbAssignSlot = smmuStateSIDNode + sid; local
177 if (unlikely(cap_get_capType(cbAssignSlot
[all...]

Completed in 28 milliseconds