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