tag	line	file	source code
DUMP_SEEK	873	fs/binfmt_elf.c	DUMP_SEEK(roundup((unsigned long)file->f_pos, 4));  /* XXX */
DUMP_SEEK	875	fs/binfmt_elf.c	DUMP_SEEK(roundup((unsigned long)file->f_pos, 4));  /* XXX */
DUMP_SEEK	1141	fs/binfmt_elf.c	DUMP_SEEK(dataoff);
DUMP_SEEK	233	fs/exec.c	DUMP_SEEK(PAGE_SIZE);