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

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/utspace/
H A Dsplit.c66 static void _delete_node(allocman_t *alloc, struct utspace_split_node *node) function
181 _delete_node(alloc, left);
188 _delete_node(alloc, left);
189 _delete_node(alloc, right);
199 _delete_node(alloc, left);
200 _delete_node(alloc, right);
337 _delete_node(alloc, node->sibling);
338 _delete_node(alloc, node);

Completed in 37 milliseconds