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 }
13