Searched refs:newcr3 (Results 1 – 1 of 1) sorted by relevance
1418 uint64_t newcr3; in hat_switch_xen() local1423 newcr3 = MAKECR3((uint64_t)hat->hat_htable->ht_pfn, PCID_NONE); in hat_switch_xen()1426 t[0].arg1.mfn = mmu_btop(pa_to_ma(newcr3)); in hat_switch_xen()1435 t[1].arg1.mfn = mmu_btop(pa_to_ma(newcr3)); in hat_switch_xen()