linux/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/include_srcu.c
<<
>>
Prefs
   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
  32