| /* | |
| * (C) Copyright 2008 Stefan Roese <sr@denx.de>, DENX Software Engineering | |
| * | |
| * SPDX-License-Identifier: GPL-2.0+ | |
| */ | |
| #define WDT_BASE 0x00040000 | |
| #define WDT_CR_OFFS 0x00000000 | |
| #define WDT_CR(base) ((base) + WDT_CR_OFFS) | |
| #define WDT_TORR_OFFS 0x00000004 | |
| #define WDT_TORR(base) ((base) + WDT_TORR_OFFS) |