tag	line	file	source code
dump_size	172	fs/exec.c	unsigned long dump_start, dump_size;
dump_size	246	fs/exec.c	dump_size = dump.u_dsize << PAGE_SHIFT;
dump_size	247	fs/exec.c	DUMP_WRITE(dump_start,dump_size);
dump_size	252	fs/exec.c	dump_size = dump.u_ssize << PAGE_SHIFT;
dump_size	253	fs/exec.c	DUMP_WRITE(dump_start,dump_size);