From mboxrd@z Thu Jan  1 00:00:00 1970
From: Mike Chen <mchen@vmware.com>
Date: Sat, 26 Jan 2002 02:07:27 +0000
Subject: [Linux-ia64] 32bit format VHPT walker
Message-Id: <marc-linux-ia64-105590698805938@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

I have a really simple question. Is 32 bit format VHPT walker available 
on Itanium processor? Is there a EFI or SAL call to query it?

Thanks,

Mike Chen