Re: kern/40362 (KASSERT in pmap_enter)

[Manuel Bouyer <bouyer%antioche.eu.org@localhost>]

The following reply was made to PR kern/40362; it has been noted by GNATS.

From: Manuel Bouyer <bouyer%antioche.eu.org@localhost>
To: gnats-bugs%gnats.netbsd.org@localhost, gnats-admin%NetBSD.org@localhost,
        netbsd-bugs%NetBSD.org@localhost, spz%NetBSD.org@localhost
Cc: 
Subject: Re: kern/40362 (KASSERT in pmap_enter)
Date: Sat, 13 Nov 2010 18:55:02 +0000 (UTC)

 The following reply was made to PR kern/40362; it has been noted by GNATS.
 
 From: Manuel Bouyer <bouyer%antioche.eu.org@localhost>
 To: Mindaugas Rasiukevicius <rmind%NetBSD.org@localhost>
 Cc: David Holland <dholland-bugs%NetBSD.org@localhost>, 
gnats-bugs%NetBSD.org@localhost,
         netbsd-bugs%NetBSD.org@localhost, gnats-admin%NetBSD.org@localhost
 Subject: Re: kern/40362 (KASSERT in pmap_enter)
 Date: Sat, 13 Nov 2010 19:52:44 +0100
 
  On Sun, Aug 30, 2009 at 12:18:08AM +0200, Manuel Bouyer wrote:
  > > > 
  > > >  >>> panic: kernel diagnostic assertion "(opte & (PG_V | PG_W)) != PG_W"
  > > >  >>> failed: file "/chroots/netbsd-5/src/sys/arch/x86/x86/pmap.c", line 
636
  > > > 
  > > > Didn't someone else report this recently?
  > > > 
  > > 
  > > Indeed, I forgot this:
  > > 
  > > http://mail-index.netbsd.org/port-i386/2009/08/17/msg001429.html
  > 
  > And port-i386/41934
  > 
  > > 
  > > Manuel, is that an Opteron with known CPU errata?
  > 
  > No it's a 3.0Ghz Xeon, single-CPU. It also has known errata,
  > intel document 302402-023,
  > title "64-bit Intel Xeon Processor with 800 MHz System Bus (1 MB and 2 MB
  > L2 Cache Versions) Specification Update August 2008"
  > 
  > But I have the latest BIOS and afaik the errata which could explain this
  > panic have a BIOS workaround.
  
  Also seen on a general-purpose server (no NFS on this one) with a:
  cpu0: Intel (686-class), 3192.10 MHz, id 0xf33
  cpu0: features 0xbfebfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR>
  cpu0: features 0xbfebfbff<PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX>
  cpu0: features 0xbfebfbff<FXSR,SSE,SSE2,SS,HTT,TM,SBF>
  cpu0: features2 0x41d<SSE3,DTES64,MONITOR,DS-CPL,CID>
  cpu0: "Intel(R) Pentium(R) 4 CPU 3.20GHz"
  cpu0: I-cache 12K uOp cache 8-way, D-cache 16KB 64B/line 8-way
  cpu0: L2 cache 1MB 64B/line 8-way
  cpu0: ITLB 4K/4M: 64 entries
  cpu0: DTLB 4K/4M: 64 entries
  cpu0: Initial APIC ID 0
  cpu0: Cluster/Package ID 0
  cpu0: SMT ID 0
  cpu0: family 0f model 03 extfamily 00 extmodel 00
  
  -- 
  Manuel Bouyer <bouyer%antioche.eu.org@localhost>
       NetBSD: 26 ans d'experience feront toujours la difference
  --