Searched refs:ContextBank (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
169 o = ContextBank(name)
H A DObject.py653 class ContextBank(Object): class in inherits:Object
/seL4-camkes-master/kernel/manual/parts/
H A Dio.tex329 \obj{VSpace\_cap} contains its assigned ContextBank number. Therefore the kernel
365 \item invalidate the streamID to ContextBank assignment in hardware.

Completed in 292 milliseconds