1 // SPDX-License-Identifier: GPL-2.0
2 #include <liblockdep/mutex.h>
7 pthread_mutex_t a, b, c;
9 pthread_mutex_init(&a, NULL);
10 pthread_mutex_init(&b, NULL);
11 pthread_mutex_init(&c, NULL);
17 pthread_mutex_destroy(&c);
18 pthread_mutex_destroy(&b);
19 pthread_mutex_destroy(&a);