split_kernel_leaf_mapping_locked
ret = split_kernel_leaf_mapping_locked(start);
ret = split_kernel_leaf_mapping_locked(end);