Symbol: IA64_PBVM_BASE
sys/arch/ia64/ia64/pmap.c
2048
if (va >= IA64_PBVM_BASE) {
sys/arch/ia64/ia64/pmap.c
2050
idx = (va - IA64_PBVM_BASE) >> IA64_PBVM_PAGE_SHIFT;