del userdata part

hc

2023-03-07 b7c0d7ef5080a876d1e2a044d0a51dcb0e0bcf1e

1
2
3
4
5
6
7
8
9
10
11
12
13
// SPDX-License-Identifier: GPL-2.0
#include <liblockdep/mutex.h>
 
void main(void)
{
    pthread_mutex_t a;
 
    pthread_mutex_init(&a, NULL);
 
    pthread_mutex_lock(&a);
    pthread_mutex_unlock(&a);
    pthread_mutex_unlock(&a);
}