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

#include <config.h>

#include <assert.h>
#include <errno.h>
#include <inttypes.h>
#include <pthread.h>
#include <stddef.h>
#include <string.h>
#include <sys/types.h>

#include "int_typedefs.h"

#include "barriers.h"
#include "bug_on.h"
#include "locks.h"
#include "misc.h"
#include "preempt.h"
#include "percpu.h"
#include "workqueues.h"

#ifdef USE_SIMPLE_SYNC_SRCU

#define synchronize_srcu(sp) synchronize_srcu_original(sp)
#endif

#include <srcu.c>

#ifdef USE_SIMPLE_SYNC_SRCU

#undef synchronize_srcu

#include "simple_sync_srcu.c"
#endif
Overall Contributors
Person
Tokens
Prop
Commits
CommitProp
Lance Roy
74
100.00%
1
100.00%
Total
74
100.00%
1
100.00%
Directory: tools/testing/selftests/rcutorture/formal/srcu-cbmc/src

Information contained on this website is for historical information purposes only and does not indicate or represent copyright ownership.