Searched refs:add_symbol_with_caps (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
| H A D | Context.py | 522 addr_space.add_symbol_with_caps(symbol, sizes, caps)
571 addr_space.add_symbol_with_caps(symbol, sizes, caps)
590 addr_space.add_symbol_with_caps(symbol, sizes, caps)
604 addr_space.add_symbol_with_caps(symbol, sizes, caps)
614 addr_space.add_symbol_with_caps(
|
| /seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
| H A D | Allocator.py | 276 def add_symbol_with_caps(self, symbol, sizes, caps): member in class:AddressSpaceAllocator
311 This is the same as add_symbol_with_caps but uses a specific address in
|
Completed in 37 milliseconds