PMAP_NO_CR3
(ucr3 = smp_tlb_pmap->pm_ucr3) != PMAP_NO_CR3 &&
smp_tlb_pmap->pm_ucr3 != PMAP_NO_CR3)
if (smp_tlb_pmap->pm_ucr3 != PMAP_NO_CR3)
smp_tlb_pmap->pm_ucr3 != PMAP_NO_CR3 &&
(ucr3 = smp_tlb_pmap->pm_ucr3) != PMAP_NO_CR3 &&
smp_tlb_pmap->pm_ucr3 != PMAP_NO_CR3 &&
PCPU_GET(tssp)->tss_rsp0 = pmap->pm_ucr3 != PMAP_NO_CR3 ?
MPASS(old_pmap->pm_ucr3 != PMAP_NO_CR3);
if (!cached && pmap->pm_ucr3 != PMAP_NO_CR3)
kcr3 = PMAP_NO_CR3;
PCPU_SET(ucr3, PMAP_NO_CR3);
kernel_pmap->pm_ucr3 = PMAP_NO_CR3;
if (pmap->pm_ucr3 == PMAP_NO_CR3 ||
pmap->pm_ucr3 == PMAP_NO_CR3 ||
if (pmap->pm_ucr3 != PMAP_NO_CR3)
pmap->pm_ucr3 = PMAP_NO_CR3;
pmap->pm_cr3 = PMAP_NO_CR3; /* initialize to an invalid value */
pmap->pm_ucr3 = PMAP_NO_CR3;
MPASS(pmap->pm_ucr3 != PMAP_NO_CR3);
MPASS(pmap->pm_ucr3 != PMAP_NO_CR3);
PMAP_NO_CR3) &&
return (PCPU_GET(curpmap)->pm_ucr3 != PMAP_NO_CR3 &&
(vm_map_pmap(map)->pm_ucr3 != PMAP_NO_CR3));
if (vmspace_pmap(p->p_vmspace)->pm_ucr3 != PMAP_NO_CR3)