tag	line	file	source code
has_dumped	913	fs/binfmt_elf.c	int has_dumped = 0;
has_dumped	1007	fs/binfmt_elf.c	has_dumped = 1;
has_dumped	1190	fs/binfmt_elf.c	return has_dumped;
has_dumped	170	fs/exec.c	int has_dumped = 0;
has_dumped	212	fs/exec.c	has_dumped = 1;
has_dumped	259	fs/exec.c	return has_dumped;