IA64_PBVM_PAGE_SHIFT
idx = (va - IA64_PBVM_BASE) >> IA64_PBVM_PAGE_SHIFT;
#define IA64_PBVM_PAGE_SIZE (1 << IA64_PBVM_PAGE_SHIFT)