vm_map_splay_split
root = vm_map_splay_split(map, addr, 0, &llist, &rlist);
root = vm_map_splay_split(map, entry->start, 0, &llist, &rlist);
root = vm_map_splay_split(map, entry->start, 0, &llist, &rlist);
root = vm_map_splay_split(map, entry->start, 0, &llist, &rlist);
root = vm_map_splay_split(map, start, length, &llist, &rlist);