if (large) avpn &= ~0x1UL; 
DBG_LOW("    inval : slot=%lx, va=%016lx, psize: %d, local: %d", slot, va, psize, local); 
static void pSeries_lpar_hpte_invalidate(unsigned long slot, unsigned long va,					 int large, int local){	unsigned long avpn = va >> 23;	unsigned long lpar_rc;	unsigned long dummy1, dummy2;	if (large)		avpn &= ~0x1UL;	lpar_rc = plpar_pte_remove(H_AVPN, slot, (avpn << 7), &dummy1,				   &dummy2);	if (lpar_rc == H_Not_Found)		return;	BUG_ON(lpar_rc != H_Success);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c726f8dee6f55e96475574e9f645327e461884c/lpar.c/clean/arch/powerpc/platforms/pseries/lpar.c