tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/include_srcu.c

   1 #include <config.h>
   2
   3 #include <assert.h>
   4 #include <errno.h>
   5 #include <inttypes.h>
   6 #include <pthread.h>
   7 #include <stddef.h>
   8 #include <string.h>
   9 #include <sys/types.h>
  10
  11 #include "int_typedefs.h"
  12
  13 #include "barriers.h"
  14 #include "bug_on.h"
  15 #include "locks.h"
  16 #include "misc.h"
  17 #include "preempt.h"
  18 #include "percpu.h"
  19 #include "workqueues.h"
  20
  21 #ifdef USE_SIMPLE_SYNC_SRCU
  22 #define synchronize_srcu(sp) synchronize_srcu_original(sp)
  23 #endif
  24
  25 #include <srcu.c>
  26
  27 #ifdef USE_SIMPLE_SYNC_SRCU
  28 #undef synchronize_srcu
  29
  30 #include "simple_sync_srcu.c"
  31 #endif