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

/seL4-l4v-master/seL4/include/arch/arm/arch/object/
H A Dsmmu.h32 exception_t smmu_delete_cb(cap_t cap);
/seL4-l4v-master/seL4/src/arch/arm/object/
H A Dsmmu.c350 exception_t smmu_delete_cb(cap_t cap) function
/seL4-l4v-master/seL4/src/arch/arm/64/object/
H A Dobjecttype.c222 smmu_delete_cb(cap);

Completed in 23 milliseconds