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