Searched refs:add_mem_call (Results 1 - 1 of 1) sorted by last modified time
/seL4-l4v-10.1.1/graph-refine/ | ||
H A D | rep_graph.py | 704 mem_calls = self.add_mem_call (node.fname, mem_calls) 909 def add_mem_call (self, fname, mem_calls): member in class:GraphSlice |
Completed in 44 milliseconds