[avpatel:riscv_kvm_aia_v1 22/39] arch/riscv/kernel/smp.c:175:50: sparse: sparse: incorrect type in argument 4 (different address spaces)

[avpatel:riscv_kvm_aia_v1 22/39] arch/riscv/kernel/smp.c:175:50: sparse: sparse: incorrect type in argument 4 (different address spaces)

[kernel test robot]

[-- Attachment #1: Type: text/plain, Size: 2433 bytes --]

tree:   https://github.com/avpatel/linux.git riscv_kvm_aia_v1
head:   55f532babde5bfa1582e1249866fcedd919ea110
commit: d12b887163a8486af6658c5822afcaacb50209d1 [22/39] RISC-V: Treat IPIs as normal Linux IRQs
config: riscv-randconfig-s031-20210805 (attached as .config)
compiler: riscv64-linux-gcc (GCC) 10.3.0
reproduce:
        wget https://raw.githubusercontent.com/intel/lkp-tests/master/sbin/make.cross -O ~/bin/make.cross
        chmod +x ~/bin/make.cross
        # apt-get install sparse
        # sparse version: v0.6.3-348-gf0e6938b-dirty
        # https://github.com/avpatel/linux/commit/d12b887163a8486af6658c5822afcaacb50209d1
        git remote add avpatel https://github.com/avpatel/linux.git
        git fetch --no-tags avpatel riscv_kvm_aia_v1
        git checkout d12b887163a8486af6658c5822afcaacb50209d1
        # save the attached .config to linux build tree
        COMPILER_INSTALL_PATH=$HOME/0day COMPILER=gcc-10.3.0 make.cross C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' ARCH=riscv 

If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@intel.com>


sparse warnings: (new ones prefixed by >>)
>> arch/riscv/kernel/smp.c:175:50: sparse: sparse: incorrect type in argument 4 (different address spaces) @@     expected void [noderef] __percpu *percpu_dev_id @@     got int * @@
   arch/riscv/kernel/smp.c:175:50: sparse:     expected void [noderef] __percpu *percpu_dev_id
   arch/riscv/kernel/smp.c:175:50: sparse:     got int *

vim +175 arch/riscv/kernel/smp.c

   157	
   158	void riscv_ipi_setup(void)
   159	{
   160		int i, err;
   161	
   162		/* SBI based IPIs is our last option */
   163		if (!ipi_virq_base)
   164			sbi_ipi_init();
   165	
   166		/* If still don't have IPIs then do nothing */
   167		if (!ipi_virq_base) {
   168			pr_info("SMP: IPIs not available\n");
   169			return;
   170		}
   171	
   172		/* Request IPIs */
   173		for (i = 0; i < nr_ipi; i++) {
   174			err = request_percpu_irq(ipi_virq_base + i, handle_IPI,
 > 175						 "IPI", &ipi_virq_base);
   176			WARN_ON(err);
   177	
   178			ipi_desc[i] = irq_to_desc(ipi_virq_base + i);
   179			irq_set_status_flags(ipi_virq_base + i, IRQ_HIDDEN);
   180		}
   181	
   182		/* Enabled IPIs for boot CPU immediately */
   183		riscv_ipi_enable();
   184	}
   185	

---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org

[-- Attachment #2: .config.gz --]
[-- Type: application/gzip, Size: 37487 bytes --]