From owner-freebsd-ia64@FreeBSD.ORG  Wed May 12 15:09:49 2004
Return-Path: <owner-freebsd-ia64@FreeBSD.ORG>
Delivered-To: freebsd-ia64@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id B493416A4CE
	for <freebsd-ia64@freebsd.org>; Wed, 12 May 2004 15:09:49 -0700 (PDT)
Received: from caduceus.sc.intel.com (fmr04.intel.com [143.183.121.6])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 5B50B43D54
	for <freebsd-ia64@freebsd.org>; Wed, 12 May 2004 15:09:49 -0700 (PDT)
	(envelope-from arun.sharma@intel.com)
Received: from petasus.sc.intel.com (petasus.sc.intel.com [10.3.253.4])
	major-outer.mc,v 1.15 2004/01/30 18:16:28 root Exp $) with ESMTP id
	i4CMAPvb015792
	for <freebsd-ia64@freebsd.org>; Wed, 12 May 2004 22:10:25 GMT
Received: from unix-os.sc.intel.com (unix-os.sc.intel.com [143.183.96.244])
	major-inner.mc,v 1.10 2004/03/01 19:21:36 root Exp $) with ESMTP id
	i4CMAO3X000434
	for <freebsd-ia64@freebsd.org>; Wed, 12 May 2004 22:10:24 GMT
Received: from intel.com (adsharma-desk.amr.corp.intel.com [143.183.130.155])
	by unix-os.sc.intel.com (8.11.6/8.11.2) with ESMTP id i4CM9dF08044
	for <freebsd-ia64@freebsd.org>; Wed, 12 May 2004 15:09:39 -0700
Message-ID: <40A2A0A2.8040004@intel.com>
Date: Wed, 12 May 2004 15:09:38 -0700
From: Arun Sharma <arun.sharma@intel.com>
User-Agent: Mozilla Thunderbird 0.5 (Windows/20040207)
X-Accept-Language: en-us, en
MIME-Version: 1.0
To: freebsd-ia64@freebsd.org
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
X-Scanned-By: MIMEDefang 2.31 (www . roaringpenguin . com / mimedefang)
Subject: invala
X-BeenThere: freebsd-ia64@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: Porting FreeBSD to the IA-64 <freebsd-ia64.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ia64>,
	<mailto:freebsd-ia64-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-ia64>
List-Post: <mailto:freebsd-ia64@freebsd.org>
List-Help: <mailto:freebsd-ia64-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ia64>,
	<mailto:freebsd-ia64-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 12 May 2004 22:09:49 -0000


I noticed that the code in exception.S:TRAP() doesn't invalidate the ALAT on a register backing store switch. This could be a problem if the kernel starts using data speculation (say by using a different compiler). However, restorectx is doing the right thing by using invala.

So my question is, are there any other reasons why TRAP() doesn't use invala ?

	-Arun