HPTEG_HASH_BITS_VPTE
#define HPTEG_HASH_NUM_VPTE (1 << HPTEG_HASH_BITS_VPTE)
return hash_64(vpage & 0xfffffffffULL, HPTEG_HASH_BITS_VPTE);