Lines Matching defs:ucr3
1678 uint64_t kcr3, ucr3;
1715 ucr3 = pmap->pm_ucr3 | pcid |
1717 pmap_pti_pcid_invlpg(ucr3, kcr3, va);
1756 uint64_t kcr3, ucr3;
1796 ucr3 = pmap->pm_ucr3 | pcid |
1798 pmap_pti_pcid_invlrng(ucr3, kcr3, sva,
1825 uint64_t kcr3, ucr3;
1863 ucr3 = pmap->pm_ucr3;
1864 if (ucr3 != PMAP_NO_CR3) {
1865 ucr3 |= pcid | PMAP_PCID_USER_PT;
1866 pmap_pti_pcid_invalidate(ucr3,
1980 uint64_t kcr3, ucr3;
2003 ucr3 = pmap->pm_ucr3 | pcid |
2005 pmap_pti_pcid_invlpg(ucr3, kcr3, va);
2018 uint64_t kcr3, ucr3;
2043 ucr3 = pmap->pm_ucr3 | pmap->pm_pcids[0].
2045 pmap_pti_pcid_invlrng(ucr3, kcr3, sva, eva);
2058 uint64_t kcr3, ucr3;
2089 ucr3 = pmap->pm_ucr3 | pmap->pm_pcids[
2091 pmap_pti_pcid_invalidate(ucr3, kcr3);
7518 uint64_t cached, cr3, kcr3, kern_pti_cached, rsp0, ucr3;
7575 ucr3 = pmap->pm_ucr3 | pmap->pm_pcids[cpuid].pm_pcid |
7592 pmap_pti_pcid_invalidate(ucr3, kcr3);
7597 PCPU_SET(ucr3, ucr3 | CR3_PCID_SAVE);
7608 PCPU_SET(ucr3, pmap->pm_ucr3);
7660 PCPU_SET(ucr3, PMAP_NO_CR3);