Searched refs:MAKECR3 (Results 1 – 3 of 3) sorted by relevance
162 #define MAKECR3(pfn, pcid) (mmu_ptob(pfn) | pcid) macro
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()1529 kcr3 = MAKECR3(tl_kpfn, PCID_KERNEL) | CR3_NOINVL_BIT; in hat_switch()1530 ucr3 = MAKECR3(info->hci_user_l3pfn, PCID_USER) | in hat_switch()1537 kcr3 = MAKECR3(tl_kpfn, PCID_NONE); in hat_switch()1539 MAKECR3(info->hci_user_l3pfn, PCID_NONE) : in hat_switch()
341 rm->rm_pdbr = MAKECR3(kas.a_hat->hat_htable->ht_pfn, PCID_NONE); in mach_cpucontext_xalloc()