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

/seL4-test-master/kernel/include/arch/arm/arch/object/
H A Dsmmu.h35 void invalidateSMMUTLBByASID(asid_t asid, word_t bind_cb);
36 void invalidateSMMUTLBByASIDVA(asid_t asid, vptr_t vaddr, word_t bind_cb);
/seL4-test-master/kernel/src/arch/arm/object/
H A Dsmmu.c376 void invalidateSMMUTLBByASID(asid_t asid, word_t bind_cb) argument
384 for (int cb = 0; cb < SMMU_MAX_CB && bind_cb; cb++) {
387 bind_cb--;
392 void invalidateSMMUTLBByASIDVA(asid_t asid, vptr_t vaddr, word_t bind_cb) argument
395 for (int cb = 0; cb < SMMU_MAX_CB && bind_cb; cb++) {
398 bind_cb--;
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1220 vspace_root_t bind_cb = getASIDBindCB(asid); local
1221 if (unlikely(vtable_invalid_get_bind_cb(bind_cb))) {
1222 invalidateSMMUTLBByASID(asid, vtable_invalid_get_bind_cb(bind_cb));
1241 vspace_root_t bind_cb = getASIDBindCB(asid); local
1242 if (unlikely(vtable_invalid_get_bind_cb(bind_cb))) {
1243 invalidateSMMUTLBByASIDVA(asid, vaddr, vtable_invalid_get_bind_cb(bind_cb));

Completed in 82 milliseconds