741                                       kmp_taskdata_t *resumed_task,  in __ompt_task_finish()  argument
753         (resumed_task ? &(resumed_task->ompt_task_info.task_data) : NULL));  in __ompt_task_finish()
989                               kmp_taskdata_t *resumed_task) {  in __kmp_task_finish()  argument
999                 gtid, taskdata, resumed_task));  in __kmp_task_finish()
1021       if (resumed_task == NULL) {  in __kmp_task_finish()
1023         resumed_task = taskdata->td_parent; // In a serialized task, the resumed  in __kmp_task_finish()
1026       thread->th.th_current_task = resumed_task; // restore current_task  in __kmp_task_finish()
1027       resumed_task->td_flags.executing = 1; // resume previous task  in __kmp_task_finish()
1030                     gtid, taskdata, resumed_task));  in __kmp_task_finish()
1041     if (resumed_task == NULL) {  in __kmp_task_finish()
1042       resumed_task = taskdata->td_parent; // In a serialized task, the resumed  in __kmp_task_finish()
1046     KMP_DEBUG_ASSERT(resumed_task !=  in __kmp_task_finish()
1083           __ompt_task_finish(task, resumed_task, ompt_task_detach);  in __kmp_task_finish()
1102       __ompt_task_finish(task, resumed_task, ompt_task_complete);  in __kmp_task_finish()
1138   thread->th.th_current_task = resumed_task;  in __kmp_task_finish()
1144   resumed_task->td_flags.executing = 1; // resume previous task  in __kmp_task_finish()
1148            gtid, taskdata, resumed_task));  in __kmp_task_finish()