extern inline void set_rasid_register (unsigned long val)
static inline void set_rasid_register (unsigned long val)
extern inline void set_rasid_register (unsigned long val){	__asm__ __volatile__ (" wsr %0, "__stringify(RASID)"\n\t"			      " isync\n" : : "a" (val));}