> + ASSERT(list_empty(&lip->li_trans) && !bp->b_transp); Nit: Two separate ASSERTS are generally better than one with two conditions and a "&&", so that when the assert triggers it shows which condition caused it.
> + ASSERT(list_empty(&lip->li_trans) && !bp->b_transp); Nit: Two separate ASSERTS are generally better than one with two conditions and a "&&", so that when the assert triggers it shows which condition caused it.