| 1184 | } |
| 1185 | |
| 1186 | static __always_inline void |
| 1187 | vm_map_splay_findnext(vm_map_entry_t root, vm_map_entry_t *rlist) |
| 1188 | { |
| 1189 | vm_map_entry_t hi, right, y; |
| 1190 | |
| 1191 | right = *rlist; |
| 1192 | hi = root->right == right ? NULL : root->right; |
| 1193 | if (hi == NULL) |
| 1194 | return; |
| 1195 | do |
| 1196 | SPLAY_LEFT_STEP(hi, y, root, right, true); |
| 1197 | while (hi != NULL); |
| 1198 | *rlist = right; |
| 1199 | } |
| 1200 | |
| 1201 | static __always_inline void |
| 1202 | vm_map_splay_findprev(vm_map_entry_t root, vm_map_entry_t *llist) |
no outgoing calls
no test coverage detected