Quoting r. Bryan O'Sullivan <bos at pathscale.com>: > > What about checking the userspace code? Can it be done? > > Not by me. I just went through the stuff that Coverity publishes for > the mainline kernel. Oh, sorry, I had the impression it was you who's run Coverity. -- Michael S. Tsirkin Staff Engineer, Mellanox Technologies