has_dumped       2186 fs/binfmt_elf.c 	int has_dumped = 0;
has_dumped       2242 fs/binfmt_elf.c 	has_dumped = 1;
has_dumped       2381 fs/binfmt_elf.c 	return has_dumped;
has_dumped       1551 fs/binfmt_elf_fdpic.c 	int has_dumped = 0;
has_dumped       1649 fs/binfmt_elf_fdpic.c 	has_dumped = 1;
has_dumped       1809 fs/binfmt_elf_fdpic.c 	return has_dumped;