:: "r"(mk_vsid_data(VMALLOCBASE, SLB_VSID_KERNEL)), 
:: "r"(mk_vsid_data(VMALLOCBASE, vflags)), 
static void slb_flush_and_rebolt(void){	/* If you change this make sure you change SLB_NUM_BOLTED	 * appropriately too. */	unsigned long ksp_flags = SLB_VSID_KERNEL;	unsigned long ksp_esid_data;	WARN_ON(!irqs_disabled());	if (cpu_has_feature(CPU_FTR_16M_PAGE))		ksp_flags |= SLB_VSID_L;	ksp_esid_data = mk_esid_data(get_paca()->kstack, 2);	if ((ksp_esid_data & ESID_MASK) == KERNELBASE)		ksp_esid_data &= ~SLB_ESID_V;	/* We need to do this all in asm, so we're sure we don't touch	 * the stack between the slbia and rebolting it. */	asm volatile("isync\n"		     "slbia\n"		     /* Slot 1 - first VMALLOC segment */		     "slbmte	%0,%1\n"		     /* Slot 2 - kernel stack */		     "slbmte	%2,%3\n"		     "isync"		     :: "r"(mk_vsid_data(VMALLOCBASE, SLB_VSID_KERNEL)),		        "r"(mk_esid_data(VMALLOCBASE, 1)),		        "r"(mk_vsid_data(ksp_esid_data, ksp_flags)),		        "r"(ksp_esid_data)		     : "memory");}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c726f8dee6f55e96475574e9f645327e461884c/slb.c/clean/arch/powerpc/mm/slb.c