extern __inline__ void set_prefix(__u32 address) 
static inline void set_prefix(__u32 address) 
extern __inline__ void set_prefix(__u32 address){        __asm__ __volatile__ ("spx %0" : : "m" (address) : "memory" );}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/4448aaf0faafff3f275d15937c28b6346760e028/lowcore.h/buggy/include/asm-s390/lowcore.h