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

/seL4-l4v-master/seL4/include/arch/arm/arch/object/
H A Dsmmu.h35 void invalidateSMMUTLBByASID(asid_t asid, word_t bind_cb);
/seL4-l4v-master/seL4/src/arch/arm/object/
H A Dsmmu.c376 void invalidateSMMUTLBByASID(asid_t asid, word_t bind_cb) function
394 /* Implemeneted in the same way as invalidateSMMUTLBByASID */
/seL4-l4v-master/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1222 invalidateSMMUTLBByASID(asid, vtable_invalid_get_bind_cb(bind_cb));

Completed in 21 milliseconds