pte_32bit_pae_t
pte_32bit_pae_t *pdir, pte;
pdir = (pte_32bit_pae_t *)L3hva;
pdir = (pte_32bit_pae_t *)L2hva;
pdir = (pte_32bit_pae_t *)L1hva;