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 (get_board_sys_clk() / 4) 15 16#endif 17