Searched refs:sid (Results 1 - 4 of 4) sorted by relevance
/seL4-l4v-master/seL4/src/arch/arm/object/ |
H A D | smmu.c | 26 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 D | smmuv2.c | 543 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 D | smmuv2.h | 427 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 D | io.tex | 271 \label{sec:smmuv2-creating-sel4-arm-sid-capabilities}
|
Completed in 42 milliseconds