tag	line	file	source code
DUMP_SEEK	132	fs/exec.c	DUMP_SEEK(sizeof(dump));
DUMP_SEEK	136	fs/exec.c	DUMP_SEEK(PAGE_SIZE);