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