2 * Copyright (C) 2013 Atmel Corporation
3 * Bo Shen <voice.shen@atmel.com>
5 * SPDX-License-Identifier: GPL-2.0+
10 #include <asm/arch/at91_common.h>
11 #include <asm/arch/at91_wdt.h>
12 #include <asm/arch/clk.h>
15 void at91_disable_wdt(void)
17 struct at91_wdt *wdt = (struct at91_wdt *)ATMEL_BASE_WDT;
19 writel(AT91_WDT_MR_WDDIS, &wdt->mr);
22 u32 spl_boot_device(void)
24 #ifdef CONFIG_SYS_USE_MMC
25 return BOOT_DEVICE_MMC1;
26 #elif CONFIG_SYS_USE_NANDFLASH
27 return BOOT_DEVICE_NAND;
28 #elif CONFIG_SYS_USE_SERIALFLASH
29 return BOOT_DEVICE_SPI;
31 return BOOT_DEVICE_NONE;
34 u32 spl_boot_mode(void)
36 switch (spl_boot_device()) {
37 #ifdef CONFIG_SYS_USE_MMC
38 case BOOT_DEVICE_MMC1:
42 case BOOT_DEVICE_NONE: