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