tag	line	file	source code
dump_start	167	fs/exec.c	register int dump_start, dump_size;
dump_start	253	fs/exec.c	dump_start = dump.u_tsize << 12;
dump_start	255	fs/exec.c	DUMP_WRITE(dump_start,dump_size);
dump_start	259	fs/exec.c	dump_start = dump.start_stack;
dump_start	261	fs/exec.c	DUMP_WRITE(dump_start,dump_size);