tag	line	file	source code
DUMP_WRITE	253	fs/exec.c	DUMP_WRITE(&dump,sizeof(dump));
DUMP_WRITE	262	fs/exec.c	DUMP_WRITE(dump_start,dump_size);
DUMP_WRITE	268	fs/exec.c	DUMP_WRITE(dump_start,dump_size);
DUMP_WRITE	272	fs/exec.c	DUMP_WRITE(current,sizeof(*current));