linux-kernel - Re: sparse warnings in vop

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [day] [month] [year] [list]

Message-ID: <87y2mwk4lb.wl-ashutosh.dixit@intel.com>
Date:   Sun, 02 Aug 2020 16:31:12 -0700
From:   "Dixit, Ashutosh" <ashutosh.dixit@...el.com>
To:     Arnd Bergmann <arnd@...db.de>
Cc:     Andy Shevchenko <andy.shevchenko@...il.com>,
        "Michael S. Tsirkin" <mst@...hat.com>,
        "sudeep.dutt@...el.com" <sudeep.dutt@...el.com>,
        "gregkh@...uxfoundation.org" <gregkh@...uxfoundation.org>,
        "linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>,
        vincent.whitchurch@...s.com
Subject: Re: sparse warnings in vop

On Sun, 02 Aug 2020 03:48:33 -0700, Arnd Bergmann wrote:
>
> On Sun, Aug 2, 2020 at 9:25 AM Andy Shevchenko
> <andy.shevchenko@...il.com> wrote:
> > On Sunday, August 2, 2020, Michael S. Tsirkin <mst@...hat.com> wrote:
> >>
> >> Hi!
> >> Building vop with make C=1 produces the following:
> >>
> >> CHECK   drivers/misc/mic/vop/vop_main.c
> >> drivers/misc/mic/vop/vop_main.c:551:58: warning: incorrect type in argument 1 (different address spaces)
> >> drivers/misc/mic/vop/vop_main.c:551:58:    expected void const volatile [noderef] __iomem *addr
> >> drivers/misc/mic/vop/vop_main.c:551:58:    got restricted __le64 *
> >> drivers/misc/mic/vop/vop_main.c:560:49: warning: incorrect type in argument 1 (different address spaces)
> >> drivers/misc/mic/vop/vop_main.c:560:49:    expected struct mic_device_ctrl *dc
> >> drivers/misc/mic/vop/vop_main.c:560:49:    got struct mic_device_ctrl [noderef] __iomem *dc
> >> drivers/misc/mic/vop/vop_main.c:579:49: warning: incorrect type in argument 1 (different address spaces)
> >> drivers/misc/mic/vop/vop_main.c:579:49:    expected struct mic_device_ctrl *dc
> >> drivers/misc/mic/vop/vop_main.c:579:49:    got struct mic_device_ctrl [noderef] __iomem *dc
> >>
> >> Would be nice to fix to silence the noise, but I'm not 100% sure
> >> what the right thing to do here is. Tag struct members with __iomem or
> >> cast with __force on use?
> >
> > Sounds right to me.
>
> I don't think either of the above, adding __force is almost always wrong,
> and __iomem never applies to struct members, only to pointers.
>
> The first problem I see is with:
>
> static struct _vop_vdev *vop_dc_to_vdev(struct mic_device_ctrl *dc)
>
> The argument needs to be an __iomem pointer. In the structure, the first
> member has type __le64, which gets mentioned in the warning.  We usually
> use __u64 instead (or don't use structures at all for __iomem
> operations), but I don't think this would cause a warning if the argument
> is fixed.

I have submitted a patch which fixes the warnings.

> Then there is the question of why in the world you would have an MMIO
> register contain a kernel pointer, but that is more a driver design question
> than something that causes a warning.

It is not a MMIO register, it is the OS running on PCI device accessing
system memory which is ioremap'd for the PCI device OS. Also, the data
structure is access both by the system OS (not __iomem) as well as the PCI
device OS (__iomem). Therefore the structure members cannot be tagged
__iomem. Doing so will fix the sparse warning for the PCI device OS but
result in new sparse warnings for the system OS. Thanks.