On Tue, 04 Jan 2011 09:00:12 -0800 Julian Elischer <julian at freebsd.org> wrote: > On 1/4/11 5:16 AM, John Baldwin wrote: > > kproc_exit() is already marked __dead2 so a NOTREACHED comment > > here isn't needed for lint. > > yes but it IS good documentation when reading the code. Shouldn't people know that kproc_exit doesn't return? -- Bruce Cran