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