On Apr 15,  7:34am, gdt@ir.bbn.com (Greg Troxel) wrote:
-- Subject: Re: CVS commit: src/sys/dev/usb

| I think it's helpful to change it to KASSERT - it's more compact and
| easier to follow the logic.  Plus, we'll have to (or have) teach
| Coverity about KASSERT.

I think I have done this already. I am just waiting for the next run to
verify that it works.

christos