On Thu, Jun 11, 2015 at 11:02:51AM +0300, Dan Carpenter wrote: > On Thu, Jun 11, 2015 at 09:43:27AM +0200, Joerg Roedel wrote: > > What static checker do you use, btw? > > I'm using Smatch. > > The ERR_PTR stuff requires that you run > > smatch_scripts/build_kernel_data.sh > > At the start and that takes a couple hours.
I see, thanks. _______________________________________________ iommu mailing list [email protected] https://lists.linuxfoundation.org/mailman/listinfo/iommu
