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__.py | 13 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__.py | 15 Object, ContainerObject, ObjectType, ObjectRights, IRQControl, register_object_sizes, \ 16 SchedControl, ARMIRQMode, ContextBank, StreamID namespace
|
H A D | Object.py | 27 def register_object_sizes(sizes): function
|
/seL4-camkes-master/projects/capdl/cdl_utils/ |
H A D | untyped_gen.py | 20 from capdl import register_object_sizes namespace 119 register_object_sizes(object_sizes)
|
H A D | capdl_linker.py | 9 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__.py | 50 from capdl.Object import register_object_sizes namespace 198 register_object_sizes(yaml.load(options.object_sizes, Loader=yaml.FullLoader))
|
Completed in 43 milliseconds