mark_work_group_restart
mark_work_group_restart(
mark_work_group_restart(group,
extern void mark_work_group_restart __P((int, int));
mark_work_group_restart(ProcListVec[i].proc_other, st);