| // SPDX-License-Identifier: GPL-2.0+ |
| * Processor reset using WDT. |
| * Copyright (C) 2012 Dmitry Bondar <bond@inmys.ru> |
| * Copyright (C) 2007 Sergey Kubushyn <ksi@koi8.net> |
| #include <asm/arch/timer_defs.h> |
| #include <asm/arch/hardware.h> |
| struct davinci_timer *const wdttimer = |
| (struct davinci_timer *)DAVINCI_WDOG_BASE; |
| writel(0x08, &wdttimer->tgcr); |
| writel(readl(&wdttimer->tgcr) | 0x03, &wdttimer->tgcr); |
| writel(0, &wdttimer->tim12); |
| writel(0, &wdttimer->tim34); |
| writel(0, &wdttimer->prd12); |
| writel(0, &wdttimer->prd34); |
| writel(readl(&wdttimer->tcr) | 0x40, &wdttimer->tcr); |
| writel(readl(&wdttimer->wdtcr) | 0x4000, &wdttimer->wdtcr); |
| writel(0xa5c64000, &wdttimer->wdtcr); |
| writel(0xda7e4000, &wdttimer->wdtcr); |
| writel(0x4000, &wdttimer->wdtcr); |