root/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/combined_source.c

   1 // SPDX-License-Identifier: GPL-2.0
   2 #include <config.h>
   3 
   4 /* Include all source files. */
   5 
   6 #include "include_srcu.c"
   7 
   8 #include "preempt.c"
   9 #include "misc.c"
  10 
  11 /* Used by test.c files */
  12 #include <pthread.h>
  13 #include <stdlib.h>
  14 #include <linux/srcu.h>