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 2018/3/22 15:24, Dan Carpenter wrote:
> 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

As it is not okay for cross compile, I have to move to an aarch64 platform.
Now it works well on my new aarch64.

Thanks a lot for your useful information!

Eason.



--
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