tag	line	file	source code
stk_vma	66	fs/binfmt_elf.c	current->mm->stk_vma = mpnt;
stk_vma	74	ibcs/binfmt_elf.c	current->mm->stk_vma = mpnt;