From owner-freebsd-current  Wed Sep 11 13:24:19 1996
Return-Path: owner-current
Received: (from root@localhost)
          by freefall.freebsd.org (8.7.5/8.7.3) id NAA27405
          for current-outgoing; Wed, 11 Sep 1996 13:24:19 -0700 (PDT)
Received: from godzilla.zeta.org.au (godzilla.zeta.org.au [203.2.228.19])
          by freefall.freebsd.org (8.7.5/8.7.3) with SMTP id NAA27396
          for <current@FreeBSD.org>; Wed, 11 Sep 1996 13:24:14 -0700 (PDT)
Received: (from bde@localhost) by godzilla.zeta.org.au (8.6.12/8.6.9) id GAA10051; Thu, 12 Sep 1996 06:23:04 +1000
Date: Thu, 12 Sep 1996 06:23:04 +1000
From: Bruce Evans <bde@zeta.org.au>
Message-Id: <199609112023.GAA10051@godzilla.zeta.org.au>
To: bde@zeta.org.au, dyson@dyson.iquest.net
Subject: Re: patch for Cyrix/Ti 486SLC/DLC CPU bug
Cc: current@FreeBSD.org, dg@Root.COM, kato@eclogite.eps.nagoya-u.ac.jp
Sender: owner-current@FreeBSD.org
X-Loop: FreeBSD.org
Precedence: bulk

>> pmap_update_{1,2}pg().  The magic .byte's are a bad way of writing
>> `invlpg' (even gas understands this).
>> 
>I don't know the syntax -- change it, and I'll propagate it!!!

Intel gives the syntax `invlpg m' where m is a memory address.  This
maps nicely to gcc inline asm (I think the contstraint is "m").

I would put this in cpufunc.h since it is a single instruction and
might be useful elsewhere.  Is it reasonable for device drivers to
invalidate pages directly?

Bruce