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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/
H A Dguest_memory.c90 res_tree *result_node; local
100 result_node = sglib_res_tree_find_member(res_cookie->regular_res_tree, &search_node);
101 if (result_node) {
102 return result_node;
105 result_node = sglib_res_tree_find_member(res_cookie->anon_res_tree, &search_node);
106 return result_node;
112 res_tree *result_node; local
126 result_node = sglib_res_tree_find_member(tree, &search_node);
127 if (!result_node) {
132 if ((result_node
147 res_tree *result_node; local
[all...]

Completed in 34 milliseconds