Searched refs:mk_memupd (Results 1 - 4 of 4) sorted by path
| /seL4-l4v-master/graph-refine/ |
| H A D | logic.py | 14 mk_word32_maybe, mk_cast, mk_memacc, mk_memupd, mk_arr_index, mk_arroffs,
1542 st1 = syntax.mk_memupd (st1, p, syntax.mk_word32 (0))
1543 st2 = syntax.mk_memupd (st2, p, syntax.mk_word32 (0))
|
| H A D | pseudo_compile.py | 16 mk_word32_maybe, mk_cast, mk_memacc, mk_memupd, mk_arr_index, mk_arroffs,
206 mk_memupd (mk_memupd (m, p, f_upd.struct),
215 m = mk_memupd (m, mk_plus (p, mk_word32 (offs)), f)
222 mk_memupd (mk_memupd (m, p, arr),
233 m = mk_memupd (m, mk_plus (p, mk_word32 (offs)), e)
|
| H A D | stack_logic.py | 605 stack_const = syntax.mk_memupd (stack_const,
|
| H A D | syntax.py | 1446 def mk_memupd(m, p, v): function
1489 mk_word8, mk_word32_maybe, mk_cast, mk_memacc, mk_memupd, mk_arr_index,
|
Completed in 73 milliseconds