1 // SPDX-License-Identifier: GPL-2.0
2 #include <liblockdep/mutex.h>
3
4 void main(void)
5 {
6 pthread_mutex_t a;
7
8 pthread_mutex_init(&a, NULL);
9
10 pthread_mutex_lock(&a);
11 pthread_mutex_unlock(&a);
12 pthread_mutex_unlock(&a);
13
14 pthread_mutex_destroy(&a);
15 }