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