PT_INDEX_PHYSADDR
p = PT_INDEX_PHYSADDR(pfn_to_pa(ht->ht_pfn), entry);
ma = pa_to_ma(PT_INDEX_PHYSADDR(pfn_to_pa(ht->ht_pfn), entry));
ma = pa_to_ma(PT_INDEX_PHYSADDR(pfn_to_pa(
ma = pa_to_ma(PT_INDEX_PHYSADDR(pfn_to_pa(ht->ht_pfn), entry));