From mboxrd@z Thu Jan  1 00:00:00 1970
From: "Luck, Tony" <tony.luck@intel.com>
Date: Tue, 05 Nov 2002 16:51:16 +0000
Subject: [Linux-ia64] Memory ordering on Itanium processor
Message-Id: <marc-linux-ia64-105590709805334@msgid-missing>
List-Id: <linux-ia64.vger.kernel.org>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
To: linux-ia64@vger.kernel.org

A new application note:
	"A Formal Specification of Intel Itanium Processor Family Memory Ordering"
is now available for download from:
	<http://developer.intel.com/design/itanium/downloads/251429.htm>

-Tony Luck