Searched refs:AllocatorState (Results 1 - 2 of 2) 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.py27 class AllocatorState(object): class in inherits:object
35 class RenderState(AllocatorState):

Completed in 30 milliseconds