Searched refs:register_object_sizes (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/projects/capdl/python-capdl-tool/tests/
H A D__init__.py13 from capdl import register_object_sizes namespace
34 register_object_sizes(test_object_sizes)
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A D__init__.py15 Object, ContainerObject, ObjectType, ObjectRights, IRQControl, register_object_sizes, \
16 SchedControl, ARMIRQMode, ContextBank, StreamID namespace
H A DObject.py27 def register_object_sizes(sizes): function
/seL4-camkes-master/projects/capdl/cdl_utils/
H A Duntyped_gen.py20 from capdl import register_object_sizes namespace
119 register_object_sizes(object_sizes)
H A Dcapdl_linker.py9 from capdl.Object import register_object_sizes, Untyped namespace
111 register_object_sizes(yaml.load(args.object_sizes, Loader=yaml.FullLoader))
/seL4-camkes-master/projects/camkes-tool/camkes/runner/
H A D__main__.py50 from capdl.Object import register_object_sizes namespace
198 register_object_sizes(yaml.load(options.object_sizes, Loader=yaml.FullLoader))

Completed in 43 milliseconds