From owner-freebsd-smp  Sun Dec  1 22:04:23 1996
Return-Path: owner-smp
Received: (from root@localhost)
          by freefall.freebsd.org (8.7.5/8.7.3) id WAA03868
          for smp-outgoing; Sun, 1 Dec 1996 22:04:23 -0800 (PST)
Received: from dyson.iquest.net ([198.70.144.127])
          by freefall.freebsd.org (8.7.5/8.7.3) with ESMTP id WAA03863
          for <freebsd-smp@freebsd.org>; Sun, 1 Dec 1996 22:04:20 -0800 (PST)
Received: (from root@localhost) by dyson.iquest.net (8.8.2/8.6.9) id BAA04106; Mon, 2 Dec 1996 01:03:52 -0500 (EST)
From: "John S. Dyson" <toor@dyson.iquest.net>
Message-Id: <199612020603.BAA04106@dyson.iquest.net>
Subject: Re: pmap_enter: modified page not writable...
To: peter@spinner.dialix.com (Peter Wemm)
Date: Mon, 2 Dec 1996 01:03:52 -0500 (EST)
Cc: smp@csn.net, ccsanady@friley216.res.iastate.edu, freebsd-smp@freebsd.org
In-Reply-To: <199612020131.JAA11337@spinner.DIALix.COM> from "Peter Wemm" at Dec 2, 96 09:31:26 am
X-Mailer: ELM [version 2.4 PL24 ME8]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
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...
> 
I'll help you all check things out tomorrow (time to go to bed), if
you still need help by then.

John