extern inline struct task_struct * get_current(void) 
static inline struct task_struct * get_current(void) 
extern inline struct task_struct * get_current(void){        return current_thread_info()->task;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d9b5444eeb3a663ca4a625878b1421c9e9b18e8b/current.h/clean/include/asm-cris/current.h