Searched refs:ASIDPool (Results 1 - 6 of 6) sorted by relevance
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
H A D | __init__.py | 12 from .Object import Frame, PageTable, PageDirectory, ASIDPool, CNode, Endpoint, \ 16 SchedControl, ARMIRQMode, ContextBank, StreamID namespace
|
H A D | PageCollection.py | 16 from .Object import ASIDPool, Frame namespace 71 self._asid = ASIDPool('asid_%s' % self.name)
|
H A D | Allocator.py | 20 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 D | Object.py | 264 class ASIDPool(ContainerObject): class in inherits:ContainerObject 266 super(ASIDPool, self).__init__(name)
|
/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | Context.py | 275 'is_ASIDPool_object': lambda obj: isinstance(obj, capdl.ASIDPool),
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | macros.py | 24 from capdl import ASIDPool, CNode, Endpoint, Frame, IODevice, IOPageTable, \ 26 calculate_cnode_size, lookup_architecture namespace
|
Completed in 98 milliseconds