Searched refs:ObjectType (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A Dutil.py19 from .Object import ObjectType, PageTable, PageDirectory, PML4, PDPT, PGD, PUD, get_object_size namespace
114 Level(SIZE_4GB, [ObjectType.seL4_LargePageObject],
115 ObjectType.seL4_PageDirectoryObject, PageDirectory, "pd"),
116 Level(SIZE_4M, [ObjectType.seL4_SmallPageObject],
117 ObjectType.seL4_PageTableObject, PageTable, "pt"),
133 Level(2 ** 48, [], ObjectType.seL4_X64_PML4, PML4, "pml4"),
134 Level(2 ** 39, [ObjectType.seL4_HugePageObject],
135 ObjectType.seL4_X64_PDPT, PDPT, "pdpt"),
136 Level(2 ** 30, [ObjectType.seL4_LargePageObject],
137 ObjectType
[all...]
H A DAllocator.py20 ARMIODevice, VCPU, ASIDPool, SC, SchedControl, RTReply, ObjectType, \
88 if type == ObjectType.seL4_UntypedObject:
93 elif type == ObjectType.seL4_TCBObject:
95 elif type == ObjectType.seL4_EndpointObject:
97 elif type == ObjectType.seL4_NotificationObject:
99 elif type == ObjectType.seL4_CapTableObject:
101 elif type == ObjectType.seL4_FrameObject:
105 elif type == ObjectType.seL4_PageTableObject:
109 elif type == ObjectType.seL4_PageDirectoryObject:
111 elif type == ObjectType
22 DomainControl, is_aligned, ARMIRQMode, ARMIRQ, ContextBank, StreamID namespace
[all...]
H A D__init__.py15 Object, ContainerObject, ObjectType, ObjectRights, IRQControl, register_object_sizes, \
16 SchedControl, ARMIRQMode, ContextBank, StreamID namespace
H A DObject.py23 # this dict is indexed by strings matching ObjectType.name
61 class ObjectType(Enum): class in inherits:Enum
221 return get_object_size_bits(ObjectType.seL4_PageTableObject)
229 return get_object_size_bits(ObjectType.seL4_PageDirectoryObject)
237 return get_object_size_bits(ObjectType.seL4_X64_PDPT)
245 return get_object_size_bits(ObjectType.seL4_X64_PML4)
253 return get_object_size_bits(ObjectType.seL4_AARCH64_PUD)
261 return get_object_size_bits(ObjectType.seL4_AARCH64_PGD)
276 return get_object_size_bits(ObjectType.seL4_ASID_Pool)
318 return self.get_slot_bits() + get_object_size_bits(ObjectType
[all...]
/seL4-camkes-master/projects/capdl/python-capdl-tool/examples/
H A Dallocation.py22 my_cnode = obj_allocator.alloc(capdl.ObjectType.seL4_CapTableObject, size_bits=28)
27 my_tcb = obj_allocator.alloc(capdl.ObjectType.seL4_TCBObject)
/seL4-camkes-master/projects/camkes-tool/camkes/runner/
H A DContext.py39 from capdl.Object import ObjectType, ObjectRights, ARMIRQMode namespace
64 return dict(list(__builtins__.items()) + list(ObjectType.__members__.items()) + list(ObjectRights.__members__.items()) + list(ARMIRQMode.__members__.items()) + list({
497 frames = [obj_space.alloc(ObjectType.seL4_FrameObject,
546 return [obj_space.alloc(ObjectType.seL4_FrameObject,
567 frames.append(obj_space.alloc(ObjectType.seL4_FrameObject,
585 frames = [obj_space.alloc(ObjectType.seL4_FrameObject, name='stack_%s_%d_%s_obj' % (symbol, i, label), label=label, size=4096)
H A D__main__.py29 from capdl import ObjectType, ObjectAllocator, CSpaceAllocator, \
268 cnode = render_state.obj_space.alloc(ObjectType.seL4_CapTableObject,
30 lookup_architecture, AddressSpaceAllocator namespace
/seL4-camkes-master/projects/capdl/cdl_utils/
H A Duntyped_gen.py22 from capdl.Object import get_object_size_bits, ObjectType namespace

Completed in 97 milliseconds