tag	line	file	source code
has_dumped	84	fs/binfmt_aout.c	int has_dumped = 0;
has_dumped	131	fs/binfmt_aout.c	has_dumped = 1;
has_dumped	186	fs/binfmt_aout.c	return has_dumped;
has_dumped	937	fs/binfmt_elf.c	int has_dumped = 0;
has_dumped	1032	fs/binfmt_elf.c	has_dumped = 1;
has_dumped	1214	fs/binfmt_elf.c	return has_dumped;