xref: /linux/kernel/rcu/Makefile (revision 71e2f4dd5a65bd8dbca0b77661e75eea471168f8)
1# SPDX-License-Identifier: GPL-2.0
2# Any varying coverage in these files is non-deterministic
3# and is generally not a function of system call inputs.
4KCOV_INSTRUMENT := n
5
6obj-y += update.o sync.o
7obj-$(CONFIG_TREE_SRCU) += srcutree.o
8obj-$(CONFIG_TINY_SRCU) += srcutiny.o
9obj-$(CONFIG_RCU_TORTURE_TEST) += rcutorture.o
10obj-$(CONFIG_RCU_PERF_TEST) += rcuperf.o
11obj-$(CONFIG_TREE_RCU) += tree.o
12obj-$(CONFIG_PREEMPT_RCU) += tree.o
13obj-$(CONFIG_TINY_RCU) += tiny.o
14obj-$(CONFIG_RCU_NEED_SEGCBLIST) += rcu_segcblist.o
15