| /* |
| * (C) Copyright 2009 |
| * Marvell Semiconductor <www.marvell.com> |
| * Written-by: Prafulla Wadaskar <prafulla@marvell.com> |
| * |
| * Header file for Feroceon CPU core 88FR131 Based KW88F6281 SOC. |
| * |
| * SPDX-License-Identifier: GPL-2.0+ |
| */ |
| |
| #ifndef _ASM_ARCH_KW88F6281_H |
| #define _ASM_ARCH_KW88F6281_H |
| |
| /* SOC specific definitions */ |
| #define KW88F6281_REGS_PHYS_BASE 0xf1000000 |
| #define KW_REGS_PHY_BASE KW88F6281_REGS_PHYS_BASE |
| |
| /* TCLK Core Clock definition */ |
| #ifndef CONFIG_SYS_TCLK |
| #define CONFIG_SYS_TCLK 200000000 /* 200MHz */ |
| #endif |
| |
| #endif /* _ASM_ARCH_KW88F6281_H */ |
