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