tjh.dev
Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel
os
linux
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}