MODULE_PARM_DESC(nowayout, "Watchdog cannot be stopped once started (default="
                        __MODULE_STRING(WATCHDOG_NOWAYOUT) ")");
 
+static void __iomem *sirfsoc_wdt_base(struct watchdog_device *wdd)
+{
+       return (void __iomem __force *)watchdog_get_drvdata(wdd);
+}
+
 static unsigned int sirfsoc_wdt_gettimeleft(struct watchdog_device *wdd)
 {
        u32 counter, match;
        void __iomem *wdt_base;
        int time_left;
 
-       wdt_base = watchdog_get_drvdata(wdd);
+       wdt_base = sirfsoc_wdt_base(wdd);
        counter = readl(wdt_base + SIRFSOC_TIMER_COUNTER_LO);
        match = readl(wdt_base +
                SIRFSOC_TIMER_MATCH_0 + (SIRFSOC_TIMER_WDT_INDEX << 2));
        void __iomem *wdt_base;
 
        timeout_ticks = wdd->timeout * CLOCK_FREQ;
-       wdt_base = watchdog_get_drvdata(wdd);
+       wdt_base = sirfsoc_wdt_base(wdd);
 
        /* Enable the latch before reading the LATCH_LO register */
        writel(1, wdt_base + SIRFSOC_TIMER_LATCH);
 
 static int sirfsoc_wdt_enable(struct watchdog_device *wdd)
 {
-       void __iomem *wdt_base = watchdog_get_drvdata(wdd);
+       void __iomem *wdt_base = sirfsoc_wdt_base(wdd);
        sirfsoc_wdt_updatetimeout(wdd);
 
        /*
 
 static int sirfsoc_wdt_disable(struct watchdog_device *wdd)
 {
-       void __iomem *wdt_base = watchdog_get_drvdata(wdd);
+       void __iomem *wdt_base = sirfsoc_wdt_base(wdd);
 
        writel(0, wdt_base + SIRFSOC_TIMER_WATCHDOG_EN);
        writel(readl(wdt_base + SIRFSOC_TIMER_INT_EN)
        if (IS_ERR(base))
                return PTR_ERR(base);
 
-       watchdog_set_drvdata(&sirfsoc_wdd, base);
+       watchdog_set_drvdata(&sirfsoc_wdd, (__force void *)base);
 
        watchdog_init_timeout(&sirfsoc_wdd, timeout, &pdev->dev);
        watchdog_set_nowayout(&sirfsoc_wdd, nowayout);