extern inline void destroy_context(struct mm_struct *mm) 
static inline void destroy_context(struct mm_struct *mm) 
extern inline void destroy_context(struct mm_struct *mm){	/* Nothing to do. */}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d99cf715a0751b0c819cdd8616c8870c1dd51910/mmu_context.h/buggy/include/asm-xtensa/mmu_context.h