[Linux-ia64] 32bit format VHPT walker

From: Mike Chen <mchen_at_vmware.com>
Date: 2002-01-26 13:07:27
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?


Mike Chen
Received on Fri Jan 25 18:07:44 2002

This archive was generated by hypermail 2.1.8 : 2005-08-02 09:20:07 EST