static void iSeries_hpte_updateboltedpp(unsigned long newpp, unsigned long ea) 
static void iSeries_hpte_updateboltedpp(unsigned long newpp, unsigned long ea, int psize) 
static void iSeries_hpte_updateboltedpp(unsigned long newpp, unsigned long ea){	unsigned long vsid,va,vpn;	long slot;	vsid = get_kernel_vsid(ea);	va = (vsid << 28) | (ea & 0x0fffffff);	vpn = va >> PAGE_SHIFT;	slot = iSeries_hpte_find(vpn);	if (slot == -1)		panic("updateboltedpp: Could not find page to bolt\n");	HvCallHpt_setPp(slot, newpp);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c726f8dee6f55e96475574e9f645327e461884c/htab.c/buggy/arch/powerpc/platforms/iseries/htab.c