extern inline struct thread_info *current_thread_info(void) 
static inline struct thread_info *current_thread_info(void) 
extern inline struct thread_info *current_thread_info(void){	struct thread_info *ti;        __asm__("and.d $sp,%0; ":"=r" (ti) : "0" (~8191UL));        return ti;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d9b5444eeb3a663ca4a625878b1421c9e9b18e8b/thread_info.h/clean/include/asm-cris/arch-v10/thread_info.h