ptei              487 arch/i386/i386/pmap.c 	       + ptei((unsigned)pve->pv_va));
ptei              646 arch/i386/i386/pmapae.c 	       + ptei((unsigned)pve->pv_va));