diff options
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 1d2dbd742fe..eb90eceb92d 100644 --- a/sys/kern/init_main.c +++ b/sys/kern/init_main.c @@ -233,6 +233,10 @@ extern void *_binary_splash_image_end; #include <sys/userconf.h> +#ifdef LOCKDOC +#include <sys/lockdoc.h> +#endif + extern time_t rootfstime; #ifndef curlwp @@ -643,6 +647,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 |
