Searched refs:MAKECR3 (Results 1 – 3 of 3) sorted by relevance
136 if (MAKECR3(kas.a_hat->hat_htable->ht_pfn) > 0xffffffffUL) in rmp_gdt_init()139 MAKECR3(kas.a_hat->hat_htable->ht_pfn)); in rmp_gdt_init()316 rm->rm_pdbr = MAKECR3(kas.a_hat->hat_htable->ht_pfn); in mach_cpucontext_xalloc()
159 #define MAKECR3(pfn) mmu_ptob(pfn) macro
1017 newcr3 = MAKECR3(cpu->cpu_hat_info->hci_vlp_pfn); in hat_switch()1020 newcr3 = MAKECR3(kas.a_hat->hat_htable->ht_pfn) + in hat_switch()1024 newcr3 = MAKECR3((uint64_t)hat->hat_htable->ht_pfn); in hat_switch()