Searched refs:ObjectType (Results 1 - 8 of 8) sorted by relevance
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
H A D | util.py | 19 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 D | Allocator.py | 20 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__.py | 15 Object, ContainerObject, ObjectType, ObjectRights, IRQControl, register_object_sizes, \ 16 SchedControl, ARMIRQMode, ContextBank, StreamID namespace
|
H A D | Object.py | 23 # 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 D | allocation.py | 22 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 D | Context.py | 39 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__.py | 29 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 D | untyped_gen.py | 22 from capdl.Object import get_object_size_bits, ObjectType namespace
|
Completed in 97 milliseconds