extern inline void activate_mm(struct mm_struct *prev, 
static inline void activate_mm(struct mm_struct *prev, 
extern inline void activate_mm(struct mm_struct *prev,                               struct mm_struct *next){        switch_mm(prev, next, current);	set_fs(current->thread.mm_segment);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/4448aaf0faafff3f275d15937c28b6346760e028/mmu_context.h/buggy/include/asm-s390/mmu_context.h