| * Copyright (C) 2013 Atmel Corporation |
| * Bo Shen <voice.shen@atmel.com> |
| * SPDX-License-Identifier: GPL-2.0+ |
| #include <asm/arch/at91_common.h> |
| #include <asm/arch/at91_wdt.h> |
| #include <asm/arch/clk.h> |
| #if defined(CONFIG_AT91SAM9_WATCHDOG) |
| void at91_disable_wdt(void) { } |
| void at91_disable_wdt(void) |
| struct at91_wdt *wdt = (struct at91_wdt *)ATMEL_BASE_WDT; |
| writel(AT91_WDT_MR_WDDIS, &wdt->mr); |
| u32 spl_boot_device(void) |
| #ifdef CONFIG_SYS_USE_MMC |
| #elif CONFIG_SYS_USE_NANDFLASH |
| #elif CONFIG_SYS_USE_SERIALFLASH || CONFIG_SYS_USE_SPIFLASH |
| switch (spl_boot_device()) { |
| #ifdef CONFIG_SYS_USE_MMC |