Symbol: CR3_PADDR
sys/arch/amd64/amd64/pmap.c
380
(pmap->pm_pdirpa == (rcr3() & CR3_PADDR)));
sys/arch/amd64/amd64/pmap.c
440
if (pmap->pm_pdirpa == (cr3 & CR3_PADDR))