unsigned long vpn, hash, secondary, slot; unsigned long huge = pte_huge(pte); 
unsigned long hash, index, shift, hidx, slot; 
void flush_hash_page(unsigned long va, pte_t pte, int local){	unsigned long vpn, hash, secondary, slot;	unsigned long huge = pte_huge(pte);	if (huge)		vpn = va >> HPAGE_SHIFT;	else		vpn = va >> PAGE_SHIFT;	hash = hpt_hash(vpn, huge);	secondary = (pte_val(pte) & _PAGE_SECONDARY) >> 15;	if (secondary)		hash = ~hash;	slot = (hash & htab_hash_mask) * HPTES_PER_GROUP;	slot += (pte_val(pte) & _PAGE_GROUP_IX) >> 12;	ppc_md.hpte_invalidate(slot, va, huge, local);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c726f8dee6f55e96475574e9f645327e461884c/hash_utils_64.c/clean/arch/powerpc/mm/hash_utils_64.c