3373     kmp_info_t *thread, kmp_int32 gtid, C *flag, int final_spin,  argument
3393                 gtid, final_spin, *thread_finished));
3506       if (flag == NULL || (!final_spin && flag->done_check())) {
3531     if (final_spin &&
3574     if (flag == NULL || (!final_spin && flag->done_check())) {
3596     kmp_info_t *thread, kmp_int32 gtid, kmp_flag_32<C, S> *flag, int final_spin,  argument
3600       thread, gtid, flag, final_spin,
3606     kmp_info_t *thread, kmp_int32 gtid, kmp_flag_64<C, S> *flag, int final_spin,  argument
3610       thread, gtid, flag, final_spin,
3617     int final_spin, int *thread_finished USE_ITT_BUILD_ARG(void *itt_sync_obj),  argument
3620       thread, gtid, flag, final_spin,
3625     kmp_info_t *thread, kmp_int32 gtid, kmp_flag_oncore *flag, int final_spin,  argument
3629       thread, gtid, flag, final_spin,