From owner-freebsd-stable Sun Oct 1 12:51:40 2000 Delivered-To: freebsd-stable@freebsd.org Received: from relay1.inwind.it (relay1.inwind.it [212.141.53.67]) by hub.freebsd.org (Postfix) with ESMTP id 871F537B66C for ; Sun, 1 Oct 2000 12:51:36 -0700 (PDT) Received: from bartequi.ottodomain.org (62.98.154.71) by relay1.inwind.it (5.1.046) id 39AFDC990047619B; Sun, 1 Oct 2000 21:50:54 +0200 From: Salvo Bartolotta Date: Sun, 01 Oct 2000 20:51:40 GMT Message-ID: <20001001.20514000@bartequi.ottodomain.org> Subject: Re: Another 4.1-S panic (full report) To: Bill Fumerola Cc: BSD , "Jeffrey J. Mountin" , freebsd-stable@freebsd.org References: <4.3.2.20001001132645.00cae340@207.227.119.2> <20001001154131.Y38472@jade.chc-chimes.com> X-Mailer: SuperCalifragilis X-Priority: 3 (Normal) MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Sender: owner-freebsd-stable@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG >>>>>>>>>>>>>>>>>> Original Message <<<<<<<<<<<<<<<<<< On 10/1/00, 8:41:31 PM, Bill Fumerola wrote regarding Re: Another 4.1-S panic (full report): > On Sun, Oct 01, 2000 at 02:06:45PM -0500, BSD wrote: > > > >cpu I686_CPU # aka Pentium Pro(tm) > > > >options NO_F00F_HACK > > > > > > The F00F problem is only with Pentiums. > > > > Exactly why I disable the work-around code with NO_F00F_HACK > > option :) > That's like saying "I turn down the scsi probe time" without having any > scsi devices in your kernel. Every time NO_F00F_HACK is used is in conjunction > with I586_CPU. > -- > Bill Fumerola - Network Architect, BOFH / Chimes, Inc. > billf@chimesnet.com / billf@FreeBSD.org Dear Bill Fumerola, LINT (cvsup'ed yesterday) states:
# NO_F00F_HACK disables the hack that prevents Pentiums (and ONLY # Pentiums) from locking up when a LOCK CMPXCHG8B instruction is # executed. This should be included for ALL kernels that won't run # on a Pentium.
Either the statement in LINT is not correct, or your statement is not correct. Tertium non datur :-) Seriously: if NO_F00F_HACK is only used in conjunction with pentiums (I586_CPU), then LINT should be modified accordingly. Best regards, Salvo To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-stable" in the body of the message