Symbol: mark_work_group_restart