Searched refs:print_slot_index (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ | ||
H A D | Object.py | 158 def print_slot_index(index): return '0x%x' % index function in function:ContainerObject.print_contents 160 def print_slot_index(index): return index function in function:ContainerObject.print_contents 166 '\n'.join('%s: %s' % (print_slot_index(index), val) |
Completed in 79 milliseconds