1// SPDX-License-Identifier: GPL-2.0
2#include <stdint.h>
3#include <pthread.h>
4
5int 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