45 	void __iomem *wdt_base;  in sirfsoc_wdt_gettimeleft()  local
48 	wdt_base = watchdog_get_drvdata(wdd);  in sirfsoc_wdt_gettimeleft()
49 	counter = readl(wdt_base + SIRFSOC_TIMER_COUNTER_LO);  in sirfsoc_wdt_gettimeleft()
50 	match = readl(wdt_base +  in sirfsoc_wdt_gettimeleft()
61 	void __iomem *wdt_base;  in sirfsoc_wdt_updatetimeout()  local
64 	wdt_base = watchdog_get_drvdata(wdd);  in sirfsoc_wdt_updatetimeout()
67 	writel(1, wdt_base + SIRFSOC_TIMER_LATCH);  in sirfsoc_wdt_updatetimeout()
70 	counter = readl(wdt_base + SIRFSOC_TIMER_LATCHED_LO);  in sirfsoc_wdt_updatetimeout()
74 	writel(counter, wdt_base +  in sirfsoc_wdt_updatetimeout()
82 	void __iomem *wdt_base = watchdog_get_drvdata(wdd);  in sirfsoc_wdt_enable()  local
89 	writel(readl(wdt_base + SIRFSOC_TIMER_INT_EN)  in sirfsoc_wdt_enable()
91 		wdt_base + SIRFSOC_TIMER_INT_EN);  in sirfsoc_wdt_enable()
92 	writel(1, wdt_base + SIRFSOC_TIMER_WATCHDOG_EN);  in sirfsoc_wdt_enable()
99 	void __iomem *wdt_base = watchdog_get_drvdata(wdd);  in sirfsoc_wdt_disable()  local
101 	writel(0, wdt_base + SIRFSOC_TIMER_WATCHDOG_EN);  in sirfsoc_wdt_disable()
102 	writel(readl(wdt_base + SIRFSOC_TIMER_INT_EN)  in sirfsoc_wdt_disable()
104 		wdt_base + SIRFSOC_TIMER_INT_EN);  in sirfsoc_wdt_disable()