1 // SPDX-License-Identifier: GPL-2.0
2 #include <liblockdep/mutex.h>
3 #include "common.h"
4 
main(void)5 void main(void)
6 {
7 	pthread_mutex_t a, b;
8 
9 	pthread_mutex_init(&a, NULL);
10 	pthread_mutex_init(&b, NULL);
11 
12 	LOCK_UNLOCK_2(a, b);
13 	LOCK_UNLOCK_2(b, a);
14 
15 	pthread_mutex_destroy(&b);
16 	pthread_mutex_destroy(&a);
17 
18 	pthread_mutex_init(&a, NULL);
19 	pthread_mutex_init(&b, NULL);
20 
21 	LOCK_UNLOCK_2(a, b);
22 	LOCK_UNLOCK_2(b, a);
23 
24 	pthread_mutex_destroy(&b);
25 	pthread_mutex_destroy(&a);
26 }
27