Searched refs:mk_var_list (Results 1 - 2 of 2) sorted by path
| /seL4-l4v-master/graph-refine/ |
| H A D | logic.py | 108 def mk_var_list (vs, typ): function
130 arg_regs = mk_var_list (['r0', 'r1', 'r2', 'r3'], word32T)
141 post_eqs = [(x, x) for x in mk_var_list (['r4', 'r5', 'r6', 'r7', 'r8',
|
| H A D | stack_logic.py | 1001 from logic import mk_var_list, mk_stack_sequence namespace
1004 arg_regs = mk_var_list (['r0', 'r1', 'r2', 'r3'], word32T)
|
Completed in 65 milliseconds