[Linux-ia64] 32bit format VHPT walker

[Linux-ia64] 32bit format VHPT walker

[Mike Chen]

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

RE: [Linux-ia64] 32bit format VHPT walker

[mchen]

Thanks, according to the Intel document, the VHPT walker is optional on
a given processor model. I know that the short format VHPT walker is 
supported on current Itanium processors. How about the long format 
VHPT walker? Is there operating system that uses the long format
VHPT walker?

Mike

Quoting "WEI,DONG (HP-Roseville,ex1)" <dong_wei@am.exch.hp.com>:

> 
> 
> > -----Original Message-----
> > From: Mike Chen [mailto:mchen@vmware.com] 
> > Sent: Friday, January 25, 2002 6:07 PM
> > To: linux-ia64@linuxia64.org
> > Subject: [Linux-ia64] 32bit format VHPT walker
> > 
> > 
> > I have a really simple question. Is 32 bit format VHPT walker 
> > available 
> > on Itanium processor? 
> 
> Please refer to 4.1.5 of Vol 2 of the SDM.
> 
> > Is there a EFI or SAL call to query it?
> 
> No.
> 
> Dong Wei

RE: [Linux-ia64] 32bit format VHPT walker

[Jim Hull]

Mike:

Although having a VHPT walker is optional, if a processor has one, it must
support both short and long formats.  As for whether any OS uses the long
format, yes, HP-UX does.

 -- Jim

> -----Original Message-----
> From: linux-ia64-admin@linuxia64.org
> [mailto:linux-ia64-admin@linuxia64.org]On Behalf Of mchen@vmware.com
> Sent: Friday, January 25, 2002 10:17 PM
> To: WEI,DONG (HP-Roseville,ex1)
> Cc: 'Mike Chen'; 'linux-ia64@linuxia64.org'
> Subject: RE: [Linux-ia64] 32bit format VHPT walker
>
>
> Thanks, according to the Intel document, the VHPT walker is optional on
> a given processor model. I know that the short format VHPT walker is
> supported on current Itanium processors. How about the long format
> VHPT walker? Is there operating system that uses the long format
> VHPT walker?
>
> Mike
>
> Quoting "WEI,DONG (HP-Roseville,ex1)" <dong_wei@am.exch.hp.com>:
>
> >
> >
> > > -----Original Message-----
> > > From: Mike Chen [mailto:mchen@vmware.com]
> > > Sent: Friday, January 25, 2002 6:07 PM
> > > To: linux-ia64@linuxia64.org
> > > Subject: [Linux-ia64] 32bit format VHPT walker
> > >
> > >
> > > I have a really simple question. Is 32 bit format VHPT walker
> > > available
> > > on Itanium processor?
> >
> > Please refer to 4.1.5 of Vol 2 of the SDM.
> >
> > > Is there a EFI or SAL call to query it?
> >
> > No.
> >
> > Dong Wei
>
> _______________________________________________
> Linux-IA64 mailing list
> Linux-IA64@linuxia64.org
> http://lists.linuxia64.org/lists/listinfo/linux-ia64
>