Searched refs:ASIDPool (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A D__init__.py12 from .Object import Frame, PageTable, PageDirectory, ASIDPool, CNode, Endpoint, \
16 SchedControl, ARMIRQMode, ContextBank, StreamID namespace
H A DPageCollection.py16 from .Object import ASIDPool, Frame namespace
71 self._asid = ASIDPool('asid_%s' % self.name)
H A DAllocator.py20 ARMIODevice, VCPU, ASIDPool, SC, SchedControl, RTReply, ObjectType, \
157 o = ASIDPool(name)
370 if isinstance(obj, ASIDPool):
22 DomainControl, is_aligned, ARMIRQMode, ARMIRQ, ContextBank, StreamID namespace
H A DObject.py264 class ASIDPool(ContainerObject): class in inherits:ContainerObject
266 super(ASIDPool, self).__init__(name)
/seL4-camkes-master/projects/camkes-tool/camkes/runner/
H A DContext.py275 'is_ASIDPool_object': lambda obj: isinstance(obj, capdl.ASIDPool),
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dmacros.py24 from capdl import ASIDPool, CNode, Endpoint, Frame, IODevice, IOPageTable, \
26 calculate_cnode_size, lookup_architecture namespace

Completed in 98 milliseconds