// SPDX-License-Identifier: GPL-2.0 #include <stdint.h> #include <pthread.h> int main(void) { pthread_barrier_t barrier; pthread_barrier_init(&barrier, NULL, 1); pthread_barrier_wait(&barrier); return pthread_barrier_destroy(&barrier); }