Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18;
IronPort-SDR: jbgSSgeqgVMrI17qkPxSlfIVcni9MWllbYeT4d0sSapb82sds8zcjcU9b7DC7s8iWGFOVLeFDZ
 BKGhsuRoPh+A==
IronPort-SDR: 33PkiT8D9UxVWrMRPdyXZBGsnDjb5ocSXR3Ax8T8QTwsqGek7COeMaxlER8dXn9Z3wvtMYLu82
 QtuB/gwXuDQQ==
Date:   Sun, 02 Aug 2020 16:31:12 -0700
Message-ID: <87y2mwk4lb.wl-ashutosh.dixit@intel.com>
From:   "Dixit, Ashutosh" <ashutosh.dixit@intel.com>
To:     Arnd Bergmann <arnd@arndb.de>
Cc:     Andy Shevchenko <andy.shevchenko@gmail.com>,
        "Michael S. Tsirkin" <mst@redhat.com>,
        "sudeep.dutt@intel.com" <sudeep.dutt@intel.com>,
        "gregkh@linuxfoundation.org" <gregkh@linuxfoundation.org>,
        "linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
        vincent.whitchurch@axis.com
Subject: Re: sparse warnings in vop
In-Reply-To: <CAK8P3a0-gQEH3NpYUx=aFg6U8LagfYKuXqMMH4MvVS4SmaghOg@mail.gmail.com>
References: <20200802005458-mutt-send-email-mst@kernel.org>     <CAHp75Vfwhfrse47jRR9msFHA4ZqoVvE8RYHZNKxu-_ZiGyS9Sw@mail.gmail.com>    <CAK8P3a0-gQEH3NpYUx=aFg6U8LagfYKuXqMMH4MvVS4SmaghOg@mail.gmail.com>
User-Agent: Wanderlust/2.15.9 (Almost Unreal) SEMI-EPG/1.14.7 (Harue)
 FLIM/1.14.9 (=?ISO-8859-4?Q?Goj=F2?=) APEL/10.8 EasyPG/1.0.0 Emacs/26
 (x86_64-pc-linux-gnu) MULE/6.0 (HANACHIRUSATO)
MIME-Version: 1.0 (generated by SEMI-EPG 1.14.7 - "Harue")
Content-Type: text/plain; charset=US-ASCII
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

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@gmail.com> wrote:
> > On Sunday, August 2, 2020, Michael S. Tsirkin <mst@redhat.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.