Symbol: VPAGE_PTP
sys/arch/x86/x86/pmap.c
4105
ptpva = ci->vpage[VPAGE_PTP];
sys/arch/x86/x86/pmap.c
4106
ptppte = ci->vpage_pte[VPAGE_PTP];
sys/arch/x86/x86/pmap.c
4128
pte = ci->vpage_pte[VPAGE_PTP];