:: "r" ((i << HTLB_AREA_SHIFT) + (j << SID_SHIFT))); 
:: "r" (((i << HTLB_AREA_SHIFT) + (j << SID_SHIFT)) | SLBIE_C)); 
static void flush_high_segments(void *parm){	u16 areas = (unsigned long) parm;	unsigned long i, j;	asm volatile("isync" : : : "memory");	BUILD_BUG_ON((sizeof(areas)*8) != NUM_HIGH_AREAS);	for (i = 0; i < NUM_HIGH_AREAS; i++) {		if (! (areas & (1U << i)))			continue;		for (j = 0; j < (1UL << (HTLB_AREA_SHIFT-SID_SHIFT)); j++)			asm volatile("slbie %0"				     :: "r" ((i << HTLB_AREA_SHIFT) + (j << SID_SHIFT)));	}	asm volatile("isync" : : : "memory");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/14b34661615ec036ab4c91637913706e4caccc93/hugetlbpage.c/clean/arch/ppc64/mm/hugetlbpage.c