static inline void create_slbe(unsigned long ea, unsigned long vsid, unsigned long flags, unsigned long entry) 
static inline void create_slbe(unsigned long ea, unsigned long flags, unsigned long entry) 
static inline void create_slbe(unsigned long ea, unsigned long vsid,			       unsigned long flags, unsigned long entry){	asm volatile("slbmte  %0,%1" :		     : "r" (mk_vsid_data(ea, flags)),		       "r" (mk_esid_data(ea, entry))		     : "memory" );}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/bb78cb72201985ae9269b723c82ea0f892048b9e/slb.c/buggy/arch/ppc64/mm/slb.c