Hadi Asyrafi | 9f5dfc9 | 2019-10-23 16:26:53 +0800 | [diff] [blame] | 1 | /* |
Sieu Mun Tang | a544da1 | 2022-02-28 15:24:59 +0800 | [diff] [blame] | 2 | * Copyright (c) 2019-2022, ARM Limited and Contributors. All rights reserved. |
| 3 | * Copyright (c) 2019-2022, Intel Corporation. All rights reserved. |
Hadi Asyrafi | 9f5dfc9 | 2019-10-23 16:26:53 +0800 | [diff] [blame] | 4 | * |
| 5 | * SPDX-License-Identifier: BSD-3-Clause |
| 6 | */ |
| 7 | |
| 8 | #ifndef PLAT_SOCFPGA_DEF_H |
| 9 | #define PLAT_SOCFPGA_DEF_H |
| 10 | |
| 11 | #include <platform_def.h> |
| 12 | |
| 13 | /* Platform Setting */ |
| 14 | #define PLATFORM_MODEL PLAT_SOCFPGA_AGILEX |
Hadi Asyrafi | 786db4d | 2019-12-30 16:00:30 +0800 | [diff] [blame] | 15 | #define BOOT_SOURCE BOOT_SOURCE_SDMMC |
Hadi Asyrafi | 9f5dfc9 | 2019-10-23 16:26:53 +0800 | [diff] [blame] | 16 | |
Sieu Mun Tang | a544da1 | 2022-02-28 15:24:59 +0800 | [diff] [blame] | 17 | /* FPGA config helpers */ |
| 18 | #define INTEL_SIP_SMC_FPGA_CONFIG_ADDR 0x400000 |
| 19 | #define INTEL_SIP_SMC_FPGA_CONFIG_SIZE 0x2000000 |
| 20 | |
Hadi Asyrafi | 9f5dfc9 | 2019-10-23 16:26:53 +0800 | [diff] [blame] | 21 | /* Register Mapping */ |
Abdul Halim, Muhammad Hadi Asyrafi | 616b5e7 | 2020-08-05 22:12:23 +0800 | [diff] [blame] | 22 | #define SOCFPGA_CCU_NOC_REG_BASE 0xf7000000 |
Sieu Mun Tang | 82cf5df | 2022-05-05 17:07:21 +0800 | [diff] [blame] | 23 | #define SOCFPGA_F2SDRAMMGR_REG_BASE U(0xf8024000) |
Abdul Halim, Muhammad Hadi Asyrafi | 616b5e7 | 2020-08-05 22:12:23 +0800 | [diff] [blame] | 24 | |
Hadi Asyrafi | 9f5dfc9 | 2019-10-23 16:26:53 +0800 | [diff] [blame] | 25 | #define SOCFPGA_MMC_REG_BASE 0xff808000 |
Hadi Asyrafi | 8ebd237 | 2019-12-23 17:58:04 +0800 | [diff] [blame] | 26 | |
Hadi Asyrafi | 67cb0ea | 2019-12-23 13:25:33 +0800 | [diff] [blame] | 27 | #define SOCFPGA_RSTMGR_REG_BASE 0xffd11000 |
Hadi Asyrafi | 8ebd237 | 2019-12-23 17:58:04 +0800 | [diff] [blame] | 28 | #define SOCFPGA_SYSMGR_REG_BASE 0xffd12000 |
| 29 | |
| 30 | #define SOCFPGA_L4_PER_SCR_REG_BASE 0xffd21000 |
| 31 | #define SOCFPGA_L4_SYS_SCR_REG_BASE 0xffd21100 |
| 32 | #define SOCFPGA_SOC2FPGA_SCR_REG_BASE 0xffd21200 |
| 33 | #define SOCFPGA_LWSOC2FPGA_SCR_REG_BASE 0xffd21300 |
Hadi Asyrafi | 9f5dfc9 | 2019-10-23 16:26:53 +0800 | [diff] [blame] | 34 | |
BenjaminLimJL | a4a4327 | 2022-04-06 10:19:16 +0800 | [diff] [blame] | 35 | /* Platform specific system counter */ |
| 36 | #define PLAT_SYS_COUNTER_FREQ_IN_MHZ get_cpu_clk() |
Hadi Asyrafi | 9f5dfc9 | 2019-10-23 16:26:53 +0800 | [diff] [blame] | 37 | |
BenjaminLimJL | a4a4327 | 2022-04-06 10:19:16 +0800 | [diff] [blame] | 38 | #endif /* PLAT_SOCFPGA_DEF_H */ |