Searched defs:jobinfo (Results 1 – 1 of 1) sorted by relevance
325 JobInfo jobinfo = jobs.get(idx); in dump() local332 JobInfo jobinfo = jobs.get(idx); in dump() local