1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * Copyright (C) 2011 Andes Technology Corporation
4 * Macpaul Lin, Andes Technology Corporation <macpaul@andestech.com>
7 #include <asm/arch-ag101/ag101.h>
8 #include <linux/linkage.h>
12 #ifndef CONFIG_SKIP_TRUNOFF_WATCHDOG
13 ENTRY(turnoff_watchdog)
14 #error "AE3XX not support wdt yet"
15 ENDPROC(turnoff_watchdog)