tag	line	file	source code
dump_size	124	fs/exec.c	register int dump_start, dump_size;
dump_size	207	fs/exec.c	dump_size = dump.u_dsize << 12;
dump_size	208	fs/exec.c	DUMP_WRITE(dump_start,dump_size);
dump_size	213	fs/exec.c	dump_size = dump.u_ssize << 12;
dump_size	214	fs/exec.c	DUMP_WRITE(dump_start,dump_size);