PMAP_PCID_OVERMAX
KASSERT((!pti && pcid_next <= PMAP_PCID_OVERMAX) ||
if ((!pti && pcid_next == PMAP_PCID_OVERMAX) ||
KASSERT(pcidp->pm_pcid < PMAP_PCID_OVERMAX,