Lines Matching refs:kcr3
502 uint64_t kcr3, ucr3;
525 kcr3 = smp_tlb_pmap->pm_cr3 | pcid;
529 pmap_pti_pcid_invalidate(ucr3, kcr3);
531 load_cr3(kcr3);
565 uint64_t kcr3, ucr3;
581 kcr3 = smp_tlb_pmap->pm_cr3 | pcid | CR3_PCID_SAVE;
583 pmap_pti_pcid_invlpg(ucr3, kcr3, smp_tlb_addr1);
626 uint64_t kcr3, ucr3;
647 kcr3 = smp_tlb_pmap->pm_cr3 | pcid | CR3_PCID_SAVE;
649 pmap_pti_pcid_invlrng(ucr3, kcr3, smp_tlb_addr1, addr2);