HPTEG_HASH_BITS_PTE
#define HPTEG_HASH_NUM_PTE (1 << HPTEG_HASH_BITS_PTE)
return hash_64(eaddr >> PTE_SIZE, HPTEG_HASH_BITS_PTE);