diff options
| author | Merlin Scholz <merlin@scholz.ruhr> | 2023-03-14 15:05:19 +0100 |
|---|---|---|
| committer | Merlin Scholz <merlin@scholz.ruhr> | 2023-03-14 15:05:19 +0100 |
| commit | 1096504a73ba2e1c619ee0a8c8a5f091d17a71db (patch) | |
| tree | e11ebd9ff21e4510cc6d3f462dd79b9e9ad04b79 /sys/kern/init_main.c | |
| parent | 38946c4e0283cb14ac5d2e0d415471d571a300ac (diff) | |
Implement sending of LOCKDOC experiment information on startup
Diffstat (limited to 'sys/kern/init_main.c')
| -rw-r--r-- | sys/kern/init_main.c | 11 |
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 |
