On Tue, 04 Jan 2011 09:00:12 -0800
Julian Elischer <[email protected]> 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
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/svn-src-head
To unsubscribe, send any mail to "[email protected]"

Reply via email to