Richard Henderson <[email protected]> writes:
> We do not simultaneously support div and div2 -- it's one > or the other. TCI is already using div, so remove div2. > > Signed-off-by: Richard Henderson <[email protected]> Reviewed-by: Alex Bennée <[email protected]> -- Alex Bennée
