summaryrefslogtreecommitdiff
path: root/kernel/kcsan/kcsan.h
diff options
context:
space:
mode:
authorMarco Elver <elver@google.com>2020-02-22 00:10:27 +0100
committerPaul E. McKenney <paulmck@kernel.org>2020-03-25 09:56:00 -0700
commit2402d0eae589a31ee7b1774cb220d84d0f5605b4 (patch)
treebf69f5b12d2766636aa47e4b88a167291a46da47 /kernel/kcsan/kcsan.h
parent48b1fc190a180d971fb69217c88c7247f4f2ca19 (diff)
kcsan: Add option for verbose reporting
Adds CONFIG_KCSAN_VERBOSE to optionally enable more verbose reports. Currently information about the reporting task's held locks and IRQ trace events are shown, if they are enabled. Signed-off-by: Marco Elver <elver@google.com> Suggested-by: Qian Cai <cai@lca.pw> Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'kernel/kcsan/kcsan.h')
-rw-r--r--kernel/kcsan/kcsan.h3
1 files changed, 3 insertions, 0 deletions
diff --git a/kernel/kcsan/kcsan.h b/kernel/kcsan/kcsan.h
index 892de5120c1b..e282f8b5749e 100644
--- a/kernel/kcsan/kcsan.h
+++ b/kernel/kcsan/kcsan.h
@@ -13,6 +13,9 @@
/* The number of adjacent watchpoints to check. */
#define KCSAN_CHECK_ADJACENT 1
+extern unsigned int kcsan_udelay_task;
+extern unsigned int kcsan_udelay_interrupt;
+
/*
* Globally enable and disable KCSAN.
*/