Symbol: PMAP_PCID_OVERMAX_KERN
sys/amd64/amd64/pmap.c
10090
(pti && pcid_next <= PMAP_PCID_OVERMAX_KERN),
sys/amd64/amd64/pmap.c
10093
(pti && pcid_next == PMAP_PCID_OVERMAX_KERN)) {