extern __inline__ int chsc(void *chsc_area) 
static inline int chsc(void *chsc_area) 
extern __inline__ int chsc(void *chsc_area){	int cc;	__asm__ __volatile__ (		".insn	rre,0xb25f0000,%1,0	\n\t"		"ipm	%0	\n\t"		"srl	%0,28	\n\t"		: "=d" (cc)		: "d" (chsc_area)		: "cc" );	return cc;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/4c24da79e29537f0e240a331220a1c46cb9bc085/ioasm.h/buggy/drivers/s390/cio/ioasm.h