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