Re: CVS commit: src/sys/kern

[Arnaud Lacombe <arnaud.lacombe.1%ulaval.ca@localhost>]

Elad Efrat wrote:
> Arnaud Lacombe wrote:
> > Module Name:    src
> > Committed By:   alc
> > Date:           Tue Dec 26 00:10:40 UTC 2006
> >
> > Modified Files:
> >         src/sys/kern: kern_sa.c
> >
> > Log Message:
> > CID-4284: check for 'kup != NULL' after kmem_zalloc() returns
>
> this coverity issue is false, please revert.
the documentation is not clear about it. kmem_alloc(9) say:

KM_SLEEP    Can sleep until enough memory is available.

But it does not clearly say that kmem_alloc() will never return NULL. I 
also had some doubt about this one.

regards,

 - Arnaud