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 }