Subject: Re: port-mips/15965: NEW_PIPE broken on port-mips
To: Manuel Bouyer <bouyer@antioche.eu.org>
From: Chuck Silvers <chuq@chuq.com>
List: netbsd-bugs
Date: 03/19/2002 18:54:09 
On Tue, Mar 19, 2002 at 09:47:00PM +0100, Manuel Bouyer wrote:
> Maybe a missing cache flush ?

indeed it was.  it's fixed now, get the latest mips/pmap.c.

-Chuck