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