extern __inline__ int tpi( volatile struct tpi_info *addr) 
static inline int tpi( volatile struct tpi_info *addr) 
extern __inline__ int tpi( volatile struct tpi_info *addr){	int ccode;	__asm__ __volatile__(		"   tpi	  0(%1)\n"		"   ipm	  %0\n"		"   srl	  %0,28"		: "=d" (ccode)		: "a" (addr)		: "cc", "1" );	return ccode;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/4c24da79e29537f0e240a331220a1c46cb9bc085/ioasm.h/buggy/drivers/s390/cio/ioasm.h