Home
last modified time | relevance | path

Searched defs:sid (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/arch/arm/object/
A Dsmmu.c25 word_t index, depth, sid; in decodeARMSIDControlInvocation() local
103 word_t sid; in decodeARMSIDInvocation() local
171 word_t sid = cap_sid_cap_get_capSID(cap); in smmu_delete_sid() local
/seL4-master/src/drivers/smmu/
A Dsmmuv2.c543 void smmu_sid_bind_cb(word_t sid, word_t cb) in smmu_sid_bind_cb()
560 void smmu_sid_unbind(word_t sid) in smmu_sid_unbind()

Completed in 6 milliseconds