Searched refs:cast_pair (Results 1 - 1 of 1) sorted by last modified time
| /seL4-l4v-master/graph-refine/ |
| H A D | logic.py | 30 def cast_pair (((a, a_addr), (c, c_addr))): function
105 return (map (cast_pair, mem_ieqs + ivar_pairs),
106 map (cast_pair, mem_oeqs + ovar_pairs))
178 arg_eqs = [cast_pair (((a_x, 'ASM_IN'), (c_x, 'C_IN')))
182 ret_eqs = [cast_pair (((a_x, 'ASM_OUT'), (c_x, 'C_OUT')))
|
Completed in 37 milliseconds