| // SPDX-License-Identifier: GPL-2.0 |
| #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 |