int large, int local) 
int psize, int local) 
static void iSeries_hpte_invalidate(unsigned long slot, unsigned long va,				    int large, int local){	unsigned long hpte_v;	unsigned long avpn = va >> 23;	unsigned long flags;	local_irq_save(flags);	iSeries_hlock(slot);	hpte_v = iSeries_hpte_getword0(slot);	if ((HPTE_V_AVPN_VAL(hpte_v) == avpn) && (hpte_v & HPTE_V_VALID))		HvCallHpt_invalidateSetSwBitsGet(slot, 0, 0);	iSeries_hunlock(slot);	local_irq_restore(flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c726f8dee6f55e96475574e9f645327e461884c/htab.c/buggy/arch/powerpc/platforms/iseries/htab.c