16 	struct davinci_timer *const wdttimer =  in reset_cpu()  local
18 	writel(0x08, &wdttimer->tgcr);  in reset_cpu()
19 	writel(readl(&wdttimer->tgcr) | 0x03, &wdttimer->tgcr);  in reset_cpu()
20 	writel(0, &wdttimer->tim12);  in reset_cpu()
21 	writel(0, &wdttimer->tim34);  in reset_cpu()
22 	writel(0, &wdttimer->prd12);  in reset_cpu()
23 	writel(0, &wdttimer->prd34);  in reset_cpu()
24 	writel(readl(&wdttimer->tcr) | 0x40, &wdttimer->tcr);  in reset_cpu()
25 	writel(readl(&wdttimer->wdtcr) | 0x4000, &wdttimer->wdtcr);  in reset_cpu()
26 	writel(0xa5c64000, &wdttimer->wdtcr);  in reset_cpu()
27 	writel(0xda7e4000, &wdttimer->wdtcr);  in reset_cpu()
28 	writel(0x4000, &wdttimer->wdtcr);  in reset_cpu()