]>
git.proxmox.com Git - mirror_ubuntu-focal-kernel.git/blob - tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/include_srcu.c
1 // SPDX-License-Identifier: GPL-2.0
10 #include <sys/types.h>
12 #include "int_typedefs.h"
20 #include "workqueues.h"
22 #ifdef USE_SIMPLE_SYNC_SRCU
23 #define synchronize_srcu(sp) synchronize_srcu_original(sp)
28 #ifdef USE_SIMPLE_SYNC_SRCU
29 #undef synchronize_srcu
31 #include "simple_sync_srcu.c"