99 static struct davinci_timer * const wdttimer =  variable
107 	writel(0x0, &wdttimer->tcr);  in davinci_hw_watchdog_enable()
108 	writel(0x0, &wdttimer->tgcr);  in davinci_hw_watchdog_enable()
110 	writel(0x08 | 0x03 | ((TIM_CLK_DIV - 1) << 8), &wdttimer->tgcr);  in davinci_hw_watchdog_enable()
111 	writel(CONFIG_SYS_WDT_PERIOD_LOW, &wdttimer->prd12);  in davinci_hw_watchdog_enable()
112 	writel(CONFIG_SYS_WDT_PERIOD_HIGH, &wdttimer->prd34);  in davinci_hw_watchdog_enable()
113 	writel(2 << 22, &wdttimer->tcr);  in davinci_hw_watchdog_enable()
114 	writel(0x0, &wdttimer->tim12);  in davinci_hw_watchdog_enable()
115 	writel(0x0, &wdttimer->tim34);  in davinci_hw_watchdog_enable()
117 	writel(0xa5c64000, &wdttimer->wdtcr);  in davinci_hw_watchdog_enable()
119 	writel(0xda7e4000, &wdttimer->wdtcr);  in davinci_hw_watchdog_enable()
124 	writel(0xa5c64000, &wdttimer->wdtcr);  in davinci_hw_watchdog_reset()
125 	writel(0xda7e4000, &wdttimer->wdtcr);  in davinci_hw_watchdog_reset()