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

/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c171 int must_recurse = 0; local
174 must_recurse = 1;
176 must_recurse = 1;
180 if (must_recurse) {
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dbootstrap.c171 int must_recurse = 0; local
174 must_recurse = 1;
176 must_recurse = 1;
180 if (must_recurse) {
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dvspace_internal.h97 int must_recurse = 0; local
100 must_recurse = 1;
102 must_recurse = 1;
110 if (must_recurse) {
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dvspace_internal.h97 int must_recurse = 0; local
100 must_recurse = 1;
102 must_recurse = 1;
110 if (must_recurse) {

Completed in 84 milliseconds