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); 
DBG_LOW("flush_hash_page(va=%016x)\n", va); pte_iterate_hashed_subpages(pte, psize, va, index, shift) { hash = hpt_hash(va, shift); hidx = __rpte_to_hidx(pte, index); if (hidx & _PTEIDX_SECONDARY) hash = ~hash; slot = (hash & htab_hash_mask) * HPTES_PER_GROUP; slot += hidx & _PTEIDX_GROUP_IX; DBG_LOW(" sub %d: hash=%x, hidx=%x\n", index, slot, hidx); ppc_md.hpte_invalidate(slot, va, psize, local); } pte_iterate_hashed_end(); 
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