HomeSort by: relevance | last modified time | path
    Searched defs:__reserved_right (Results 1 - 2 of 2) sorted by relevancy

  /src/external/gpl3/gcc/dist/libstdc++-v3/include/parallel/
partition.h 76 int* __reserved_left = 0, * __reserved_right = 0; local
88 __reserved_right = new int[__num_threads];
107 __reserved_right[__r] = 0; // false
218 __reserved_right[((__thread_right_border - 1) - __right)
253 if (__reserved_right[__r] == 0
254 && __compare_and_swap(&(__reserved_right[__r]), 0, 1))
276 _GLIBCXX_PARALLEL_ASSERT(__reserved_right[__r] == 1);
312 delete[] __reserved_right;
  /src/external/gpl3/gcc.old/dist/libstdc++-v3/include/parallel/
partition.h 76 int* __reserved_left = 0, * __reserved_right = 0; local
88 __reserved_right = new int[__num_threads];
107 __reserved_right[__r] = 0; // false
218 __reserved_right[((__thread_right_border - 1) - __right)
253 if (__reserved_right[__r] == 0
254 && __compare_and_swap(&(__reserved_right[__r]), 0, 1))
276 _GLIBCXX_PARALLEL_ASSERT(__reserved_right[__r] == 1);
312 delete[] __reserved_right;

Completed in 23 milliseconds