Symbol: CR3_PCID
sys/arch/amd64/amd64/pmap.c
438
KASSERT((cr3 & CR3_PCID) == PCID_KERN ||
sys/arch/amd64/amd64/pmap.c
439
(cr3 & CR3_PCID) == PCID_PROC);