CR3_PCID_MASK
if ((cr3 & ~CR3_PCID_MASK) != pmap->pm_cr3)
if (!cached || (cr3 & ~CR3_PCID_MASK) != pmap->pm_cr3)
(curpcb->pcb_saved_ucr3 & ~CR3_PCID_MASK) ==
(PCPU_GET(curpmap)->pm_cr3 & ~CR3_PCID_MASK));
flush->address_space &= ~CR3_PCID_MASK;
flush->address_space &= ~CR3_PCID_MASK;