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