Searched refs:function_call_addrs (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/graph-refine/
H A Dproblem.py414 def function_call_addrs (self): member in class:Problem
419 return set ([fn for (n, fn) in self.function_call_addrs ()])
H A Dsyntax.py852 def function_call_addrs (self): member in class:Function
857 return set ([fn for (n, fn) in self.function_call_addrs ()])
H A Ddebug.py832 addrs = [n for (n, name2) in p.function_call_addrs ()

Completed in 46 milliseconds