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#define CFG_SYS_TCLK			((readl(CFG_SAR_REG) & BIT(21)) ? \
19					166666667 : 200000000)
20
21#endif /* _ASM_ARCH_KW88F6281_H */
22