IA64_PBVM_PGTBL
if (va >= IA64_PBVM_PGTBL + bootinfo->bi_pbvm_pgtblsz)
if (va >= IA64_PBVM_PGTBL) {
pa = (va - IA64_PBVM_PGTBL) + bootinfo->bi_pbvm_pgtbl;
pbvm_pgtbl = (void *)IA64_PBVM_PGTBL;