diff --git a/sys/kern/kern_kcov.c b/sys/kern/kern_kcov.c index cdf85b4c647..cedfa2c081b 100644 --- a/sys/kern/kern_kcov.c +++ b/sys/kern/kern_kcov.c @@ -35,6 +35,8 @@ * $FreeBSD$ */ +#define KCSAN_RUNTIME + #include __FBSDID("$FreeBSD$"); diff --git a/sys/kern/subr_coverage.c b/sys/kern/subr_coverage.c index e38f3b36e78..f3ab27c2ca3 100644 --- a/sys/kern/subr_coverage.c +++ b/sys/kern/subr_coverage.c @@ -35,6 +35,8 @@ * $FreeBSD$ */ +#define KCSAN_RUNTIME + #include __FBSDID("$FreeBSD$");