Symbol: VPAGE_DST
sys/arch/x86/x86/pmap.c
4062
dstva = ci->vpage[VPAGE_DST];
sys/arch/x86/x86/pmap.c
4064
dstpte = ci->vpage_pte[VPAGE_DST];