Re: [bug report] RDMA/hns: Support rq record doorbell for the user space

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Thu, Mar 22, 2018 at 02:40:32PM +0800, Liuyixian (Eason) wrote:
> 
> 
> On 2018/3/20 17:39, Dan Carpenter wrote:
> > On Tue, Mar 20, 2018 at 09:00:31AM +0800, Liuyixian (Eason) wrote:
> >> Hi Dan,
> >>
> >> Could you tell me which checker tools have you used for checking out this warning?
> >>
> > 
> > This is a Smatch warning.
> > 
> > regards,
> > dan carpenter
> > 
> 
> Hi Dan,
> 
> Thanks for your response!
> Actually, I have used smatch for some time. It seems that it can check
> only one folder with my current configuration:
> 
> make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- \
> CHECK="/home/liuyixian/smatch/smatch -p=kernel" \
> C=1 drivers/infiniband/hw/hns/ | tee warns.txt
> 
> Obviously, the other folder include/uapi/rdma/ also needs to be added.
> I don't know how to config it to check out the above mentioned warning.
> Yesterday I have searched on google, but there isn't enough material.

Ah...  Your smatch_data/kernel.rosenberg_funcs funcs file is out of
date.  I should push my version of that.

There is a way to rebuild that by using running the
`smatch_scripts/build_kernel_data.sh` script but it takes forever and
it's not set up for cross compile...

regards,
dan carpenter

--
To unsubscribe from this list: send the line "unsubscribe linux-rdma" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html



[Index of Archives]     [Linux USB Devel]     [Video for Linux]     [Linux Audio Users]     [Photo]     [Yosemite News]     [Yosemite Photos]     [Linux Kernel]     [Linux SCSI]     [XFree86]

  Powered by Linux