diff options
| author | Robert Watson <rwatson@FreeBSD.org> | 2004-01-16 20:29:23 +0000 |
|---|---|---|
| committer | Robert Watson <rwatson@FreeBSD.org> | 2004-01-16 20:29:23 +0000 |
| commit | bafc8f255ac0763558a683386c0a08744c51fe0b (patch) | |
| tree | 02b563a65219168ee25c62bfcb979ebb149e45df | |
| parent | 09c84ba407aecb7e46c22fbe112d65e3627dee4e (diff) | |
Notes
| -rw-r--r-- | sys/kern/init_main.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/kern/init_main.c b/sys/kern/init_main.c index b9be5462ecd5..71288352e1ed 100644 --- a/sys/kern/init_main.c +++ b/sys/kern/init_main.c @@ -683,6 +683,7 @@ create_init(const void *udata __unused) error = fork1(&thread0, RFFDG | RFPROC | RFSTOPPED, 0, &initproc); if (error) panic("cannot fork init: %d\n", error); + KASSERT(initproc->p_pid == 1, ("create_init: initproc->p_pid != 1")); /* divorce init's credentials from the kernel's */ newcred = crget(); PROC_LOCK(initproc); |