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

/seL4-l4v-master/seL4/include/arch/arm/arch/object/
H A Dsmmu.h33 exception_t smmu_delete_sid(cap_t cap);
/seL4-l4v-master/seL4/src/arch/arm/object/
H A Dsmmu.c171 exception_t smmu_delete_sid(cap_t cap) function
/seL4-l4v-master/seL4/src/arch/arm/64/object/
H A Dobjecttype.c227 smmu_delete_sid(cap);

Completed in 13 milliseconds