if ((HPTE_V_AVPN_VAL(hpte_v) != avpn) || !(hpte_v & HPTE_V_VALID)) { 
if (!HPTE_V_COMPARE(hpte_v, want_v) || !(hpte_v & HPTE_V_VALID)) 
static void native_hpte_invalidate(unsigned long slot, unsigned long va,				    int large, int local){	hpte_t *hptep = htab_address + slot;	unsigned long hpte_v;	unsigned long avpn = va >> 23;	unsigned long flags;	int lock_tlbie = !cpu_has_feature(CPU_FTR_LOCKLESS_TLBIE);	if (large)		avpn &= ~1;	local_irq_save(flags);	native_lock_hpte(hptep);	hpte_v = hptep->v;	/* Even if we miss, we need to invalidate the TLB */	if ((HPTE_V_AVPN_VAL(hpte_v) != avpn)	    || !(hpte_v & HPTE_V_VALID)) {		native_unlock_hpte(hptep);	} else {		/* Invalidate the hpte. NOTE: this also unlocks it */		hptep->v = 0;	}	/* Invalidate the tlb */	if (cpu_has_feature(CPU_FTR_TLBIEL) && !large && local) {		tlbiel(va);	} else {		if (lock_tlbie)			spin_lock(&native_tlbie_lock);		tlbie(va, large);		if (lock_tlbie)			spin_unlock(&native_tlbie_lock);	}	local_irq_restore(flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c726f8dee6f55e96475574e9f645327e461884c/hash_native_64.c/clean/arch/powerpc/mm/hash_native_64.c