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>
15