tag	line	file	source code
dump_write	858	fs/binfmt_elf.c	do { if (!dump_write(file, (addr), (nr))) return 0; } while(0)
dump_write	883	fs/binfmt_elf.c	if (!dump_write(&file, (addr), (nr))) \