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