Index: share/mk/bsd.sys.mk
===================================================================
RCS file: /cvsroot/src/share/mk/bsd.sys.mk,v
retrieving revision 1.296
diff -u -r1.296 bsd.sys.mk
--- share/mk/bsd.sys.mk	15 Nov 2019 09:44:44 -0000	1.296
+++ share/mk/bsd.sys.mk	1 Dec 2019 00:40:28 -0000
@@ -247,7 +247,7 @@
 .if ${KCOV:U0} > 0
 KCOVFLAGS=	-fsanitize-coverage=trace-pc
 .for f in subr_kcov.c subr_lwp_specificdata.c subr_specificdata.c subr_asan.c \
-	subr_csan.c subr_msan.c
+	subr_csan.c subr_msan.c x86_machdep.c kern_synch.c
 KCOVFLAGS.${f}=		# empty
 .endfor
 CFLAGS+=	${KCOVFLAGS.${.IMPSRC:T}:U${KCOVFLAGS}}