1 // SPDX-License-Identifier: GPL-2.0+ 2 /* 3 * (C) Copyright 2009 Faraday Technology 4 * Po-Yu Chuang <ratbert@faraday-tech.com> 5 * 6 * Copyright (C) 2011 Andes Technology Corporation 7 * Shawn Lin, Andes Technology Corporation <nobuhiro@andestech.com> 8 * Macpaul Lin, Andes Technology Corporation <macpaul@andestech.com> 9 */ 10 #ifndef CONFIG_TIMER 11 #include <common.h> 12 #include <asm/io.h> 13 #include <faraday/fttmr010.h> 14 #error "AE3XX timer only support DM flow" 15 #endif /* CONFIG_TIMER */ 16