1// SPDX-License-Identifier: GPL-2.0
2#include <liblockdep/mutex.h>
3
4int 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