From owner-freebsd-smp  Sun Dec  1 17:31:53 1996
Return-Path: owner-smp
Received: (from root@localhost)
          by freefall.freebsd.org (8.7.5/8.7.3) id RAA11547
          for smp-outgoing; Sun, 1 Dec 1996 17:31:53 -0800 (PST)
Received: from spinner.DIALix.COM (root@spinner.DIALix.COM [192.203.228.67])
          by freefall.freebsd.org (8.7.5/8.7.3) with ESMTP id RAA11542
          for <freebsd-smp@freebsd.org>; Sun, 1 Dec 1996 17:31:49 -0800 (PST)
Received: from spinner.DIALix.COM (peter@localhost.DIALix.oz.au [127.0.0.1])
          by spinner.DIALix.COM (8.8.3/8.8.3) with ESMTP id JAA11337;
          Mon, 2 Dec 1996 09:31:27 +0800 (WST)
Message-Id: <199612020131.JAA11337@spinner.DIALix.COM>
To: Steve Passe <smp@csn.net>
cc: Chris Csanady <ccsanady@friley216.res.iastate.edu>,
        freebsd-smp@freebsd.org
Subject: Re: pmap_enter: modified page not writable... 
In-reply-to: Your message of "Sun, 01 Dec 1996 17:06:14 MST."
             <199612020006.RAA16369@clem.systemsix.com> 
Date: Mon, 02 Dec 1996 09:31:26 +0800
From: Peter Wemm <peter@spinner.dialix.com>
Sender: owner-smp@freebsd.org
X-Loop: FreeBSD.org
Precedence: bulk

Steve Passe wrote:
> Hi,
> 
> >I get a bunch of these when running the kernel built today.  However,
> >everything seems to be working ok.  This is with APIC_IO.
> >
> >pmap_enter: modified page not writable: va: 0x58000, pte: 0x881465
> >pmap_remove: modified page not writable: va: 0x44000, pte: 0xee0465
> >pmap_remove_all: modified page not writable: va: 0x43000, pte: 0xeb4465
> 
> this is new..

I'm pretty sure this is concrete evidence that the lack of tlb flushing
is causing problems...

Cheers,
-Peter