1. 2002-01-28 RE: [Linux-ia64] 32bit format VHPT walker linux-ia6 Jim Hull 2. 2002-01-26 RE: [Linux-ia64] 32bit format VHPT walker linux-ia6 mchen 3. 2002-01-26 [Linux-ia64] 32bit format VHPT walker linux-ia6 Mike Chen