tag	line	file	source code
START_DATA	151	fs/binfmt_aout.c	if (verify_area(VERIFY_READ, (void *) START_DATA(dump), dump.u_dsize << PAGE_SHIFT))
START_DATA	165	fs/binfmt_aout.c	dump_start = START_DATA(dump);