taglinefilesource code
START_DATA237fs/exec.cif (verify_area(VERIFY_READ, (void *) START_DATA(dump), dump.u_dsize << PAGE_SHIFT))
START_DATA251fs/exec.cdump_start = START_DATA(dump);