aboutsummaryrefslogtreecommitdiff
path: root/sys/sys/coverage.h
diff options
context:
space:
mode:
authorAndrew Turner <andrew@FreeBSD.org>2019-01-29 11:04:17 +0000
committerAndrew Turner <andrew@FreeBSD.org>2019-01-29 11:04:17 +0000
commit524553f56d0b89c689754f1e0a51205bbbcf5071 (patch)
tree7f2972c2c06429d2b143041372219e244fbb9ecd /sys/sys/coverage.h
parenta56136a1ba97e9b7cbe914f5d9549c852620640e (diff)
downloadsrc-524553f56d0b89c689754f1e0a51205bbbcf5071.tar.gz
src-524553f56d0b89c689754f1e0a51205bbbcf5071.zip
Extract the coverage sanitizer KPI to a new file.
This will allow multiple consumers of the coverage data to be compiled into the kernel together. The only requirement is only one can be registered at a given point in time, however it is expected they will only register when the coverage data is needed. A new kernel conflig option COVERAGE is added. This will allow kcov to become a module that can be loaded as needed, or compiled into the kernel. While here clean up the #include style a little. Reviewed by: kib Sponsored by: DARPA, AFRL Differential Revision: https://reviews.freebsd.org/D18955
Notes
Notes: svn path=/head/; revision=343550
Diffstat (limited to 'sys/sys/coverage.h')
-rw-r--r--sys/sys/coverage.h60
1 files changed, 60 insertions, 0 deletions
diff --git a/sys/sys/coverage.h b/sys/sys/coverage.h
new file mode 100644
index 000000000000..f00d6b992cf4
--- /dev/null
+++ b/sys/sys/coverage.h
@@ -0,0 +1,60 @@
+/*-
+ * SPDX-License-Identifier: BSD-2-Clause-FreeBSD
+ *
+ * Copyright (C) 2018 The FreeBSD Foundation. All rights reserved.
+ * Copyright (C) 2018, 2019 Andrew Turner.
+ *
+ * This software was developed by Mitchell Horne under sponsorship of
+ * the FreeBSD Foundation.
+ *
+ * This software was developed by SRI International and the University of
+ * Cambridge Computer Laboratory under DARPA/AFRL contract FA8750-10-C-0237
+ * ("CTSRD"), as part of the DARPA CRASH research programme.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ * 1. Redistributions of source code must retain the above copyright
+ * notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ * notice, this list of conditions and the following disclaimer in the
+ * documentation and/or other materials provided with the distribution.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
+ * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
+ * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+ * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
+ * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
+ * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
+ * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
+ * SUCH DAMAGE.
+ *
+ * $FreeBSD$
+ */
+
+#ifndef _SYS_COVERAGE_H_
+#define _SYS_COVERAGE_H_
+
+#if !defined(_KERNEL) && !defined(_SYS_KCOV_H_)
+#error Do not include this file directly in userspace, use sys/kcov.h
+#endif
+
+#define COV_CMP_CONST (1 << 0)
+#define COV_CMP_SIZE(x) ((x) << 1)
+#define COV_CMP_MASK (3 << 1)
+#define COV_CMP_GET_SIZE(x) (((x) >> 1) & 3)
+
+#ifdef _KERNEL
+typedef void (*cov_trace_pc_t)(uintptr_t);
+typedef bool (*cov_trace_cmp_t)(uint64_t, uint64_t, uint64_t, uint64_t);
+
+void cov_register_cmp(cov_trace_cmp_t);
+void cov_unregister_cmp(void);
+void cov_register_pc(cov_trace_pc_t);
+void cov_unregister_pc(void);
+#endif
+
+#endif /* _SYS_COVERAGE_H_ */