summaryrefslogtreecommitdiff
path: root/sys/kern/init_main.c
diff options
context:
space:
mode:
authorMerlin Scholz <merlin@scholz.ruhr>2023-03-14 15:05:19 +0100
committerMerlin Scholz <merlin@scholz.ruhr>2023-03-14 15:05:19 +0100
commit1096504a73ba2e1c619ee0a8c8a5f091d17a71db (patch)
treee11ebd9ff21e4510cc6d3f462dd79b9e9ad04b79 /sys/kern/init_main.c
parent38946c4e0283cb14ac5d2e0d415471d571a300ac (diff)
Implement sending of LOCKDOC experiment information on startup
Diffstat (limited to 'sys/kern/init_main.c')
-rw-r--r--sys/kern/init_main.c11
1 files changed, 11 insertions, 0 deletions
diff --git a/sys/kern/init_main.c b/sys/kern/init_main.c
index 5604495ef92..1f07a93fbbe 100644
--- a/sys/kern/init_main.c
+++ b/sys/kern/init_main.c
@@ -226,6 +226,10 @@ extern void *_binary_splash_image_end;
#include <sys/userconf.h>
+#ifdef LOCKDOC
+#include <sys/lockdoc.h>
+#endif
+
extern struct lwp lwp0;
extern time_t rootfstime;
@@ -624,6 +628,13 @@ main(void)
scdebug_init();
+#ifdef LOCKDOC
+ lockdoc_send_current_task_addr();
+ lockdoc_send_lwp_flag_offset();
+ lockdoc_send_pid_offset();
+ lockdoc_send_kernel_version();
+#endif
+
/*
* Create process 1 (init(8)). We do this now, as Unix has
* historically had init be process 1, and changing this would