Re: drivers/soc/fsl/qe/tsa.c:145:23: sparse: sparse: incorrect type in argument 2 (different address spaces)

From: Herve Codina
Date: Tue Dec 05 2023 - 06:51:13 EST


Hi all,

On Tue, 5 Dec 2023 19:36:05 +0800
kernel test robot <lkp@xxxxxxxxx> wrote:

> tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
> head: bee0e7762ad2c6025b9f5245c040fcc36ef2bde8
> commit: 1d4ba0b81c1cf2bfc0c55658f53809846ae9de52 soc: fsl: cpm1: Add support for TSA
> date: 9 months ago
> config: powerpc-randconfig-r131-20231204 (https://download.01.org/0day-ci/archive/20231205/202312051959.9YdRIYbg-lkp@xxxxxxxxx/config)
> compiler: powerpc-linux-gcc (GCC) 13.2.0
> reproduce: (https://download.01.org/0day-ci/archive/20231205/202312051959.9YdRIYbg-lkp@xxxxxxxxx/reproduce)
>
> If you fix the issue in a separate patch/commit (i.e. not just a new version of
> the same patch/commit), kindly add following tags
> | Reported-by: kernel test robot <lkp@xxxxxxxxx>
> | Closes: https://lore.kernel.org/oe-kbuild-all/202312051959.9YdRIYbg-lkp@xxxxxxxxx/
>
> sparse warnings: (new ones prefixed by >>)
> drivers/soc/fsl/qe/tsa.c:140:26: sparse: sparse: dereference of noderef expression
[...]
> drivers/soc/fsl/qe/tsa.c:145:23: sparse: sparse: dereference of noderef expression
>
> vim +145 drivers/soc/fsl/qe/tsa.c
>
> 142
> 143 static inline void tsa_write8(void *__iomem addr, u32 val)
> 144 {
> > 145 iowrite8(val, addr);
> 146 }
> 147
>

This will be fixed when the following patch is merged
https://lore.kernel.org/linux-kernel/20231128140818.261541-2-herve.codina@xxxxxxxxxxx/

Best regards,
Hervé

--
Hervé Codina, Bootlin
Embedded Linux and Kernel engineering
https://bootlin.com