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