Searched refs:AddressSpaceAllocator (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A D__init__.py18 from .Allocator import ObjectAllocator, CSpaceAllocator, AddressSpaceAllocator, AllocatorState namespace
H A DAllocator.py249 class AddressSpaceAllocator(object): class in inherits:object
/seL4-camkes-master/projects/camkes-tool/camkes/runner/
H A D__main__.py30 lookup_architecture, AddressSpaceAllocator namespace
273 addr_space = AddressSpaceAllocator(

Completed in 38 milliseconds