Searched defs:bind_cb (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/kernel/src/arch/arm/object/
H A Dsmmu.c376 void invalidateSMMUTLBByASID(asid_t asid, word_t bind_cb) argument
392 void invalidateSMMUTLBByASIDVA(asid_t asid, vptr_t vaddr, word_t bind_cb) argument
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1220 vspace_root_t bind_cb = getASIDBindCB(asid); local
1241 vspace_root_t bind_cb = getASIDBindCB(asid); local

Completed in 29 milliseconds