lhpte.dw0.dword0 = iSeries_hpte_getword0(slot); 
hpte_v = iSeries_hpte_getword0(slot); 
static void iSeries_hpte_invalidate(unsigned long slot, unsigned long va,				    int large, int local){	HPTE lhpte;	unsigned long avpn = va >> 23;	unsigned long flags;	local_irq_save(flags);	iSeries_hlock(slot);	lhpte.dw0.dword0 = iSeries_hpte_getword0(slot);		if ((lhpte.dw0.dw0.avpn == avpn) && lhpte.dw0.dw0.v)		HvCallHpt_invalidateSetSwBitsGet(slot, 0, 0);	iSeries_hunlock(slot);	local_irq_restore(flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/96e2844999f99878fc5b03b81ccaa60580005b81/iSeries_htab.c/clean/arch/ppc64/kernel/iSeries_htab.c