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

/seL4-l4v-master/seL4/include/arch/arm/arch/object/
H A Dsmmu.h36 void invalidateSMMUTLBByASIDVA(asid_t asid, vptr_t vaddr, word_t bind_cb);
/seL4-l4v-master/seL4/src/arch/arm/object/
H A Dsmmu.c392 void invalidateSMMUTLBByASIDVA(asid_t asid, vptr_t vaddr, word_t bind_cb) function
/seL4-l4v-master/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1243 invalidateSMMUTLBByASIDVA(asid, vaddr, vtable_invalid_get_bind_cb(bind_cb));

Completed in 88 milliseconds