Searched refs:ncr3 (Results 1 – 1 of 1) sorted by relevance
337 pmap_paddr_t ncr3 = tpmap->pm_cr3; in pmap_pcid_activate() local343 ncr3 = kernel_pmap->pm_cr3; in pmap_pcid_activate()349 set_cr3_composed(ncr3, new_pcid, 1ULL); in pmap_pcid_activate()350 cpu_shadowp(ccpu)->cpu_shadowtask_cr3 = ncr3 | new_pcid | (1ULL << 63); in pmap_pcid_activate()