]>
git.proxmox.com Git - mirror_ubuntu-focal-kernel.git/blob - tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/include_srcu.c
11 #include "int_typedefs.h"
19 #include "workqueues.h"
21 #ifdef USE_SIMPLE_SYNC_SRCU
22 #define synchronize_srcu(sp) synchronize_srcu_original(sp)
27 #ifdef USE_SIMPLE_SYNC_SRCU
28 #undef synchronize_srcu
30 #include "simple_sync_srcu.c"