Searched refs:get_mem_access (Results 1 - 2 of 2) sorted by last modified time

/seL4-l4v-10.1.1/graph-refine/
H A Dsyntax.py511 def get_mem_access (self): member in class:Expr
524 accesses.extend (expr.get_mem_access ())
712 accesses.extend (expr.get_mem_access ())
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Dstack_analysisLib.sml67 fun get_mem_access [] = NONE function
68 | get_mem_access (tm::tms) =
70 handle HOL_ERR _ => get_mem_access tms
80 get_mem_access assum,get_pc_val post))
90 val res1 = (pc,assum1',u1,get_mem_access assum1,get_pc_val post1)

Completed in 62 milliseconds