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

/seL4-camkes-master/kernel/src/arch/arm/object/
H A Dsmmu.c101 cap_t cbCap; local
115 cbCap = cbCapSlot->cap;
116 if (unlikely(cap_get_capType(cbCap) != cap_cb_cap)) {
122 if (unlikely(checkARMCBVspace(cbCap) != EXCEPTION_NONE)) {
137 smmu_sid_bind_cb(sid, cap_cb_cap_get_capCB(cbCap));
140 cteInsert(cbCap, cbCapSlot, cbAssignSlot);

Completed in 30 milliseconds