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