x86pte_mapin
pteptr = x86pte_mapin(mmu_btop(pte_pa),
pteptr = x86pte_mapin(mmu_btop(pte_pa),
return (x86pte_mapin(ht->ht_pfn, index, ht));
extern x86pte_t *x86pte_mapin(pfn_t, uint_t, htable_t *);