Searched refs:use_hooks (Results 1 - 5 of 5) sorted by last modified time

/seL4-l4v-10.1.1/graph-refine/
H A Dtarget_objects.py38 use_hooks = set () variable
51 if module_key in use_hooks]
H A Dc_rodata.py37 target_objects.use_hooks.add (module_hook_k)
/seL4-l4v-10.1.1/graph-refine/seL4-example/
H A Dtarget.py48 target_objects.use_hooks.add ('stack_logic')
/seL4-l4v-10.1.1/graph-refine/loop-example/O2/
H A Dtarget.py46 target_objects.use_hooks.add ('stack_logic')
/seL4-l4v-10.1.1/graph-refine/loop-example/O1/
H A Dtarget.py45 target_objects.use_hooks.add ('stack_logic')

Completed in 89 milliseconds