tag	line	file	source code
dump_seek	900	fs/binfmt_elf.c	do { if (!dump_seek(file, (off))) return 0; } while(0)
dump_seek	926	fs/binfmt_elf.c	if (!dump_seek(&file, (off))) \