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

/seL4-l4v-10.1.1/graph-refine/loop-example/
H A Dloop.c34 check_one (int result) { function
46 if (! check_one (r)) {

Completed in 80 milliseconds