Searched refs:consider_inline (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/graph-refine/ | ||
H A D | check.py | 93 consider_inline (funs, inline_tag, force_inline, 130 def consider_inline (matched_funs, tag, force_inline, skip_underspec = False): function |
Completed in 81 milliseconds