Searched refs:ucr3 (Results 1 – 1 of 1) sorted by relevance
653 uint64_t pcr3 = tpmap->pm_cr3, ucr3 = tpmap->pm_ucr3; in set_dirbase() local657 cpu_datap(ccpu)->cpu_ucr3 = ucr3; in set_dirbase()658 cpu_shadowp(ccpu)->cpu_ucr3 = ucr3; in set_dirbase()