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

/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A D__init__.py16 SchedControl, ARMIRQMode, ContextBank, StreamID namespace
H A DAllocator.py22 DomainControl, is_aligned, ARMIRQMode, ARMIRQ, ContextBank, StreamID namespace
167 o = StreamID(name)
H A DObject.py642 class StreamID(Object): class in inherits:Object
/seL4-camkes-master/kernel/manual/parts/
H A Dio.tex190 with an identifier (StreamID) that is used to direct the transaction through a
201 Faults that occur when a memory transaction conflicts with a StreamID or CB
224 capabilities are used to create capabilities referring to each StreamID and
228 StreamID is bound to.
231 When StreamID, context bank capabilities are revoked, the kernel will disable
232 the context banks or StreamID mappings.
261 StreamID configurations. This capability is provided in the initial
276 a capability to any valid StreamID for the SMMU and delegate access to other
282 capability that represents a single StreamID. This new capbility is placed
289 context banks. Currently only direct mapping of a StreamID t
[all...]

Completed in 35 milliseconds