Searched refs:cbCapSlot (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/seL4/src/arch/arm/object/ | ||
| H A D | smmu.c | 102 cte_t *cbCapSlot; local 114 cbCapSlot = extraCaps.excaprefs[0]; 115 cbCap = cbCapSlot->cap; 140 cteInsert(cbCap, cbCapSlot, cbAssignSlot); |
Completed in 29 milliseconds