[hwmon:watchdog-next 22/24] drivers/watchdog/imx7ulp_wdt.c:115:31: sparse: sparse: incorrect type in argument 1 (different address spaces)

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



tree:   https://git.kernel.org/pub/scm/linux/kernel/git/groeck/linux-staging.git watchdog-next
head:   1fc86924bf1dd70aa4d6379e799f79d4723d1d0e
commit: bcf0eed581f50ad18f1dbcba8595f39c98fad306 [22/24] watchdog: imx7ulp: Fix reboot hang
reproduce:
        # apt-get install sparse
        # sparse version: v0.6.1-21-gb31adac-dirty
        git checkout bcf0eed581f50ad18f1dbcba8595f39c98fad306
        make ARCH=x86_64 allmodconfig
        make C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__'

If you fix the issue, kindly add following tag
Reported-by: kbuild test robot <lkp@xxxxxxxxx>


sparse warnings: (new ones prefixed by >>)

>> drivers/watchdog/imx7ulp_wdt.c:115:31: sparse: sparse: incorrect type in argument 1 (different address spaces) @@    expected struct watchdog_device *wdog @@    got struct watchdog_device *wdog @@
>> drivers/watchdog/imx7ulp_wdt.c:115:31: sparse:    expected struct watchdog_device *wdog
>> drivers/watchdog/imx7ulp_wdt.c:115:31: sparse:    got void [noderef] <asn:2> *base

vim +115 drivers/watchdog/imx7ulp_wdt.c

   109	
   110	static int imx7ulp_wdt_restart(struct watchdog_device *wdog,
   111				       unsigned long action, void *data)
   112	{
   113		struct imx7ulp_wdt_device *wdt = watchdog_get_drvdata(wdog);
   114	
 > 115		imx7ulp_wdt_enable(wdt->base, true);
   116		imx7ulp_wdt_set_timeout(&wdt->wdd, 1);
   117	
   118		/* wait for wdog to fire */
   119		while (true)
   120			;
   121	
   122		return NOTIFY_DONE;
   123	}
   124	

---
0-DAY kernel test infrastructure                 Open Source Technology Center
https://lists.01.org/hyperkitty/list/kbuild-all@xxxxxxxxxxxx Intel Corporation



[Index of Archives]     [LM Sensors]     [Linux Sound]     [ALSA Users]     [ALSA Devel]     [Linux Audio Users]     [Linux Media]     [Kernel]     [Gimp]     [Yosemite News]     [Linux Media]

  Powered by Linux