1 /*
2  * (C) Copyright 2009
3  * Marvell Semiconductor <www.marvell.com>
4  * Written-by: Prafulla Wadaskar <prafulla@marvell.com>
5  *
6  * Header file for Feroceon CPU core 88FR131 Based KW88F6281 SOC.
7  *
8  * SPDX-License-Identifier:	GPL-2.0+
9  */
10 
11 #ifndef _ASM_ARCH_KW88F6281_H
12 #define _ASM_ARCH_KW88F6281_H
13 
14 /* SOC specific definitions */
15 #define KW88F6281_REGS_PHYS_BASE	0xf1000000
16 #define KW_REGS_PHY_BASE		KW88F6281_REGS_PHYS_BASE
17 
18 /* TCLK Core Clock definition */
19 #ifndef CONFIG_SYS_TCLK
20 #define CONFIG_SYS_TCLK	200000000 /* 200MHz */
21 #endif
22 
23 #endif /* _ASM_ARCH_KW88F6281_H */
24