Lines Matching refs:ht_pfn
587 xen_pin(hat->hat_htable->ht_pfn, mmu.max_level); in hat_alloc()
697 xen_unpin(hat->hat_htable->ht_pfn); in hat_free_end()
1111 hci->hci_user_l3pfn = hci->hci_user_hat->hat_htable->ht_pfn; in hat_pcp_setup()
1304 kas.a_hat->hat_htable->ht_pfn, in hat_init_finish()
1322 ASSERT3U(kas.a_hat->hat_htable->ht_pfn, !=, PFN_INVALID); in hat_init_finish()
1324 MAKECR3(kas.a_hat->hat_htable->ht_pfn, PCID_KERNEL)); in hat_init_finish()
1423 newcr3 = MAKECR3((uint64_t)hat->hat_htable->ht_pfn, PCID_NONE); in hat_switch_xen()
1523 tl_kpfn = hat->hat_htable->ht_pfn; in hat_switch()
4384 p = PT_INDEX_PHYSADDR(pfn_to_pa(ht->ht_pfn), entry); in hat_mempte_setup()
4460 ASSERT(ht->ht_pfn == mmu_btop(pte_pa)); in hat_mempte_remap()
4953 base_ma = pa_to_ma(ptob(ht->ht_pfn)); in hat_prepare_mapping()