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

/seL4-l4v-master/seL4/src/arch/arm/object/
H A Dsmmu.c14 cte_t *cbSlot = smmuStateCBNode + cb; local
15 if (unlikely(!isVTableRoot(cbSlot->cap))) {
256 cte_t *cbSlot; local
270 cbSlot = smmuStateCBNode + cb;
272 smmu_tlb_invalidate_cb(cb, cap_vtable_root_get_mappedASID(cbSlot->cap));
293 cbSlot = smmuStateCBNode + cb;
294 status = ensureEmptySlot(cbSlot);
305 cteInsert(vspaceCap, vspaceCapSlot, cbSlot);
306 cap_vtable_root_ptr_set_mappedCB(&(cbSlot->cap), cb);
319 cbSlot
353 cte_t *cbSlot; local
[all...]

Completed in 30 milliseconds