1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * Copyright 2009 Freescale Semiconductor, Inc.
9 #include <asm/processor.h>
12 #define CONFIG_SYS_TIMER_COUNTS_DOWN
13 #define CONFIG_SYS_TIMER_COUNTER (TMU_BASE + 0xc) /* TCNT0 */
14 #define CONFIG_SYS_TIMER_RATE (get_board_sys_clk() / 4)