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