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);}