Symbol: J_DUMPED
usr/src/cmd/sh/jobs.c
266
jp->j_flag |= J_DUMPED;
usr/src/cmd/sh/jobs.c
501
if (jp->j_flag & J_DUMPED) {