if ((ea >= USER_START) && (ea <= USER_END)) 
if (ea < KERNELBASE) 
void flush_hash_page(unsigned long context, unsigned long ea, pte_t pte,		     int local){	unsigned long vsid, vpn, va, hash, secondary, slot;	unsigned long huge = pte_huge(pte);	if ((ea >= USER_START) && (ea <= USER_END))		vsid = get_vsid(context, ea);	else		vsid = get_kernel_vsid(ea);	va = (vsid << 28) | (ea & 0x0fffffff);	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/1f8d419e291f7f7f7f3ffd4f0ba00834621690c8/hash_utils.c/buggy/arch/ppc64/mm/hash_utils.c