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