Symbol: VPAGE_SRC
sys/arch/x86/x86/pmap.c
4061
srcva = ci->vpage[VPAGE_SRC];
sys/arch/x86/x86/pmap.c
4063
srcpte = ci->vpage_pte[VPAGE_SRC];