On Thu, 2012-12-13 at 20:27 +0100, Paolo Carlini wrote: > It's the same approach that we are following in many other places, right? Yes, it is the same approach. > > OK to checkin? > Yes, thanks. Done. Steve Ellcey sellcey@mips.com