| /* | |
| * (C) Copyright 2009 | |
| * Michael Schwingen, michael@schwingen.org | |
| * | |
| * SPDX-License-Identifier: GPL-2.0+ | |
| */ | |
| #include <common.h> | |
| #include <config.h> | |
| #include <asm/io.h> | |
| #include "dvlhost_hw.h" | |
| DECLARE_GLOBAL_DATA_PTR; | |
| #ifdef CONFIG_HW_WATCHDOG | |
| #include <watchdog.h> | |
| #include <asm/arch/ixp425.h> | |
| void hw_watchdog_reset(void) | |
| { | |
| unsigned int x; | |
| x = readl(IXP425_GPIO_GPOUTR); | |
| x ^= (1 << (CONFIG_SYS_GPIO_WDGTRIGGER)); | |
| writel(x, IXP425_GPIO_GPOUTR); | |
| } | |
| #endif /* CONFIG_HW_WATCHDOG */ |