3361     kmp_info_t *thread, kmp_int32 gtid, C *flag, int final_spin,  argument
3381                 gtid, final_spin, *thread_finished));
3496       if (flag == NULL || (!final_spin && flag->done_check())) {
3521     if (final_spin &&
3564     if (flag == NULL || (!final_spin && flag->done_check())) {
3586     kmp_info_t *thread, kmp_int32 gtid, kmp_flag_32<C, S> *flag, int final_spin,  argument
3590       thread, gtid, flag, final_spin,
3596     kmp_info_t *thread, kmp_int32 gtid, kmp_flag_64<C, S> *flag, int final_spin,  argument
3600       thread, gtid, flag, final_spin,
3607     int final_spin, int *thread_finished USE_ITT_BUILD_ARG(void *itt_sync_obj),  argument
3610       thread, gtid, flag, final_spin,
3615     kmp_info_t *thread, kmp_int32 gtid, kmp_flag_oncore *flag, int final_spin,  argument
3619       thread, gtid, flag, final_spin,