tree:   https://github.com/avpatel/linux.git riscv_sbi_nested_v1
head:   dbf52c86cc3d8cadf34862d5d8f7734e92081d1d
commit: 534d7c2ffb0e68dc0be8d703f3bd31c578d32640 [10/43] RISC-V: Treat IPIs as normal Linux IRQs
config: riscv-randconfig-c043-20221017
compiler: riscv64-linux-gcc (GCC) 12.1.0

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

cocci warnings: (new ones prefixed by >>)
>> arch/riscv/kernel/smp.c:116:2-3: Unneeded semicolon

-- 
0-DAY CI Kernel Test Service
https://01.org/lkp