1// SPDX-License-Identifier: GPL-2.0 2#include <liblockdep/mutex.h> 3#include "common.h" 4 5void main(void) 6{ 7 pthread_mutex_t a, b; 8 9 pthread_mutex_init(&a, NULL); 10 pthread_mutex_init(&b, NULL); 11 12 LOCK_UNLOCK_2(a, b); 13 LOCK_UNLOCK_2(b, a); 14 15 pthread_mutex_destroy(&b); 16 pthread_mutex_destroy(&a); 17 18 pthread_mutex_init(&a, NULL); 19 pthread_mutex_init(&b, NULL); 20 21 LOCK_UNLOCK_2(a, b); 22 LOCK_UNLOCK_2(b, a); 23 24 pthread_mutex_destroy(&b); 25 pthread_mutex_destroy(&a); 26} 27