1 // SPDX-License-Identifier: GPL-2.0
   2 #include <stdint.h>
   3 #include <pthread.h>
   4 
   5 int main(void)
   6 {
   7         pthread_barrier_t barrier;
   8 
   9         pthread_barrier_init(&barrier, NULL, 1);
  10         pthread_barrier_wait(&barrier);
  11         return pthread_barrier_destroy(&barrier);
  12 }