3 * Michael Schwingen, michael@schwingen.org
5 * SPDX-License-Identifier: GPL-2.0+
11 #include "dvlhost_hw.h"
13 DECLARE_GLOBAL_DATA_PTR;
15 #ifdef CONFIG_HW_WATCHDOG
17 #include <asm/arch/ixp425.h>
19 void hw_watchdog_reset(void)
22 x = readl(IXP425_GPIO_GPOUTR);
23 x ^= (1 << (CONFIG_SYS_GPIO_WDGTRIGGER));
24 writel(x, IXP425_GPIO_GPOUTR);
27 #endif /* CONFIG_HW_WATCHDOG */