1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * Copyright 2009 Freescale Semiconductor, Inc.
4  */
5 
6 #ifndef _ASM_CONFIG_H_
7 #define _ASM_CONFIG_H_
8 
9 #include <asm/processor.h>
10 
11 /* Timer */
12 #define CONFIG_SYS_TIMER_COUNTS_DOWN
13 #define CONFIG_SYS_TIMER_COUNTER	(TMU_BASE + 0xc)	/* TCNT0 */
14 #define CONFIG_SYS_TIMER_RATE		(CONFIG_SYS_CLK_FREQ / 4)
15 
16 #endif
17