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

/seL4-refos-master/libs/libsel4simple/src/
H A Dsimple.c85 seL4_CPtr largest = 0; local
89 if (cap > largest) {
90 largest = cap;
93 return largest;
/seL4-refos-master/projects/seL4_libs/libsel4simple/src/
H A Dsimple.c85 seL4_CPtr largest = 0; local
89 if (cap > largest) {
90 largest = cap;
93 return largest;

Completed in 25 milliseconds