Searched refs:hci_user_l3pfn (Results 1 – 3 of 3) sorted by relevance
121 pfn_t hci_user_l3pfn; /* pfn of hci_user_l3ptes */ member
1111 hci->hci_user_l3pfn = hci->hci_user_hat->hat_htable->ht_pfn; in hat_pcp_setup()1112 ASSERT3U(hci->hci_user_l3pfn, !=, PFN_INVALID); in hat_pcp_setup()1114 (x86pte_t *)hat_kpm_mapin_pfn(hci->hci_user_l3pfn); in hat_pcp_setup()1530 ucr3 = MAKECR3(info->hci_user_l3pfn, PCID_USER) | in hat_switch()1539 MAKECR3(info->hci_user_l3pfn, PCID_NONE) : in hat_switch()
942 (x86pte_t *)hat_kpm_mapin_pfn(CPU->cpu_hat_info->hci_user_l3pfn); in kpm_init()