LXR linux/tools/lib/lockdep/tests/ABA.c

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