Searched refs:sid (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/seL4/src/arch/arm/object/
H A Dsmmu.c26 word_t index, depth, sid; local
60 sid = getSyscallArg(0, buffer);
65 if (sid >= SMMU_MAX_SID) {
69 userError("Rejecting request for SID %u. SID is greater than or equal to SMMU_MAX_SID.", (int)sid);
72 if (smmuStateSIDTable[sid]) {
74 userError("Rejecting request for SID %u. Already active.", (int)sid);
81 getExtraCPtr(buffer, 0), (int)sid);
88 getExtraCPtr(buffer, 0), (int)sid);
92 smmuStateSIDTable[sid] = true;
93 cteInsert(cap_sid_cap_new(sid), srcSlo
105 word_t sid; local
173 word_t sid = cap_sid_cap_get_capSID(cap); local
[all...]
/seL4-l4v-master/seL4/src/drivers/smmu/
H A Dsmmuv2.c543 void smmu_sid_bind_cb(word_t sid, word_t cb) argument
550 smmu_write_reg32(SMMU_GR0_PPTR, SMMU_S2CRn(sid), reg);
555 reg = SMR_VALID_SET(SMR_VALID_EN) | SMR_ID_SET(sid);
556 smmu_write_reg32(SMMU_GR0_PPTR, SMMU_SMRn(sid), reg);
560 void smmu_sid_unbind(word_t sid) argument
564 smmu_write_reg32(SMMU_GR0_PPTR, SMMU_S2CRn(sid), reg);
567 smmu_write_reg32(SMMU_GR0_PPTR, SMMU_SMRn(sid), reg);
/seL4-l4v-master/seL4/include/drivers/smmu/
H A Dsmmuv2.h427 void smmu_sid_bind_cb(word_t sid, word_t cb);
433 void smmu_sid_unbind(word_t sid);
/seL4-l4v-master/seL4/manual/parts/
H A Dio.tex271 \label{sec:smmuv2-creating-sel4-arm-sid-capabilities}

Completed in 42 milliseconds