Lines Matching defs:ucr3
502 uint64_t kcr3, ucr3;
526 ucr3 = smp_tlb_pmap->pm_ucr3;
527 if (ucr3 != PMAP_NO_CR3) {
528 ucr3 |= PMAP_PCID_USER_PT | pcid;
529 pmap_pti_pcid_invalidate(ucr3, kcr3);
565 uint64_t kcr3, ucr3;
579 (ucr3 = smp_tlb_pmap->pm_ucr3) != PMAP_NO_CR3) {
582 ucr3 |= pcid | PMAP_PCID_USER_PT | CR3_PCID_SAVE;
583 pmap_pti_pcid_invlpg(ucr3, kcr3, smp_tlb_addr1);
626 uint64_t kcr3, ucr3;
645 (ucr3 = smp_tlb_pmap->pm_ucr3) != PMAP_NO_CR3) {
648 ucr3 |= pcid | PMAP_PCID_USER_PT | CR3_PCID_SAVE;
649 pmap_pti_pcid_invlrng(ucr3, kcr3, smp_tlb_addr1, addr2);