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 CFG_SYS_TIMER_COUNTER	(TMU_BASE + 0xc)	/* TCNT0 */
13 #define CFG_SYS_TIMER_RATE		(get_board_sys_clk() / 4)
14 
15 #endif
16