49 	void __iomem *wdt_base;  in sirfsoc_wdt_gettimeleft()  local
52 	wdt_base = sirfsoc_wdt_base(wdd);  in sirfsoc_wdt_gettimeleft()
53 	counter = readl(wdt_base + SIRFSOC_TIMER_COUNTER_LO);  in sirfsoc_wdt_gettimeleft()
54 	match = readl(wdt_base +  in sirfsoc_wdt_gettimeleft()
65 	void __iomem *wdt_base;  in sirfsoc_wdt_updatetimeout()  local
68 	wdt_base = sirfsoc_wdt_base(wdd);  in sirfsoc_wdt_updatetimeout()
71 	writel(1, wdt_base + SIRFSOC_TIMER_LATCH);  in sirfsoc_wdt_updatetimeout()
74 	counter = readl(wdt_base + SIRFSOC_TIMER_LATCHED_LO);  in sirfsoc_wdt_updatetimeout()
78 	writel(counter, wdt_base +  in sirfsoc_wdt_updatetimeout()
86 	void __iomem *wdt_base = sirfsoc_wdt_base(wdd);  in sirfsoc_wdt_enable()  local
93 	writel(readl(wdt_base + SIRFSOC_TIMER_INT_EN)  in sirfsoc_wdt_enable()
95 		wdt_base + SIRFSOC_TIMER_INT_EN);  in sirfsoc_wdt_enable()
96 	writel(1, wdt_base + SIRFSOC_TIMER_WATCHDOG_EN);  in sirfsoc_wdt_enable()
103 	void __iomem *wdt_base = sirfsoc_wdt_base(wdd);  in sirfsoc_wdt_disable()  local
105 	writel(0, wdt_base + SIRFSOC_TIMER_WATCHDOG_EN);  in sirfsoc_wdt_disable()
106 	writel(readl(wdt_base + SIRFSOC_TIMER_INT_EN)  in sirfsoc_wdt_disable()
108 		wdt_base + SIRFSOC_TIMER_INT_EN);  in sirfsoc_wdt_disable()