Searched refs:StreamID (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
H A D | __init__.py | 16 SchedControl, ARMIRQMode, ContextBank, StreamID namespace
|
H A D | Allocator.py | 22 DomainControl, is_aligned, ARMIRQMode, ARMIRQ, ContextBank, StreamID namespace 167 o = StreamID(name)
|
H A D | Object.py | 642 class StreamID(Object): class in inherits:Object
|
/seL4-camkes-master/kernel/manual/parts/ |
H A D | io.tex | 190 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