[mirror_ubuntu-bionic-kernel.git] / tools / testing / selftests / rcutorture / formal / srcu-cbmc / src / combined_source.c

// SPDX-License-Identifier: GPL-2.0
#include <config.h>

/* Include all source files. */

#include "include_srcu.c"

#include "preempt.c"
#include "misc.c"

/* Used by test.c files */
#include <pthread.h>
#include <stdlib.h>
#include <linux/srcu.h>
Commit	Line	Data
b2441318	1	// SPDX-License-Identifier: GPL-2.0
418b2977 LR	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>