rangelock_reduce
void rangelock_reduce(locked_range_t *, uint64_t, uint64_t);
rangelock_reduce(lr, woff, n);