extern __inline__ int rsch(int irq) 
static inline int rsch(int irq) 
extern __inline__ int rsch(int irq){	int ccode;	__asm__ __volatile__(		"   lr	  1,%1\n"		"   rsch\n"		"   ipm	  %0\n"		"   srl	  %0,28"		: "=d" (ccode)		: "d" (irq | 0x10000L)		: "cc", "1" );	return ccode;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/4c24da79e29537f0e240a331220a1c46cb9bc085/ioasm.h/buggy/drivers/s390/cio/ioasm.h