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