580                                       kmp_taskdata_t *resumed_task,  in __ompt_task_finish()  argument
592         (resumed_task ? &(resumed_task->ompt_task_info.task_data) : NULL));  in __ompt_task_finish()
807                               kmp_taskdata_t *resumed_task) {  in __kmp_task_finish()  argument
816                 gtid, taskdata, resumed_task));  in __kmp_task_finish()
838       if (resumed_task == NULL) {  in __kmp_task_finish()
840         resumed_task = taskdata->td_parent; // In a serialized task, the resumed  in __kmp_task_finish()
843       thread->th.th_current_task = resumed_task; // restore current_task  in __kmp_task_finish()
844       resumed_task->td_flags.executing = 1; // resume previous task  in __kmp_task_finish()
847                     gtid, taskdata, resumed_task));  in __kmp_task_finish()
858     if (resumed_task == NULL) {  in __kmp_task_finish()
859       resumed_task = taskdata->td_parent; // In a serialized task, the resumed  in __kmp_task_finish()
863     KMP_DEBUG_ASSERT(resumed_task !=  in __kmp_task_finish()
900           __ompt_task_finish(task, resumed_task, ompt_task_detach);  in __kmp_task_finish()
919       __ompt_task_finish(task, resumed_task, ompt_task_complete);  in __kmp_task_finish()
955   thread->th.th_current_task = resumed_task;  in __kmp_task_finish()
961   resumed_task->td_flags.executing = 1; // resume previous task  in __kmp_task_finish()
965            gtid, taskdata, resumed_task));  in __kmp_task_finish()