exec_mm_release
exec_mm_release(tsk, old_mm);
extern void exec_mm_release(struct task_struct *, struct mm_struct *);