HPTEG_HASH_BITS_VPTE_64K
#define HPTEG_HASH_NUM_VPTE_64K (1 << HPTEG_HASH_BITS_VPTE_64K)
HPTEG_HASH_BITS_VPTE_64K);