1 /*
2 * Copyright (c) 2018-2020, Arm Limited and Contributors. All rights reserved.
3 * Copyright (c) 2022-2023, Advanced Micro Devices, Inc. All rights reserved.
4 *
5 * SPDX-License-Identifier: BSD-3-Clause
6 */
7
8 #include <common/debug.h>
9 #include <drivers/generic_delay_timer.h>
10 #include <lib/mmio.h>
11 #include <lib/xlat_tables/xlat_tables_v2.h>
12 #include <plat/common/platform.h>
13
14 #include <plat_common.h>
15 #include <plat_ipi.h>
16 #include <plat_private.h>
17 #include <pm_api_sys.h>
18 #include <versal_def.h>
19
20 uint32_t platform_id, platform_version;
21
22 /*
23 * Table of regions to map using the MMU.
24 * This doesn't include TZRAM as the 'mem_layout' argument passed to
25 * configure_mmu_elx() will give the available subset of that,
26 */
27 const mmap_region_t plat_versal_mmap[] = {
28 MAP_REGION_FLAT(DEVICE0_BASE, DEVICE0_SIZE, MT_DEVICE | MT_RW | MT_SECURE),
29 MAP_REGION_FLAT(DEVICE1_BASE, DEVICE1_SIZE, MT_DEVICE | MT_RW | MT_SECURE),
30 MAP_REGION_FLAT(CRF_BASE, CRF_SIZE, MT_DEVICE | MT_RW | MT_SECURE),
31 MAP_REGION_FLAT(PLAT_ARM_CCI_BASE, PLAT_ARM_CCI_SIZE, MT_DEVICE | MT_RW |
32 MT_SECURE),
33 { 0 }
34 };
35
plat_get_mmap(void)36 const mmap_region_t *plat_get_mmap(void)
37 {
38 return plat_versal_mmap;
39 }
40
versal_print_platform_name(void)41 static void versal_print_platform_name(void)
42 {
43 NOTICE("TF-A running on %s\n", PLATFORM_NAME);
44 }
45
versal_config_setup(void)46 void versal_config_setup(void)
47 {
48 /* Configure IPI data for versal */
49 versal_ipi_config_table_init();
50
51 versal_print_platform_name();
52
53 generic_delay_timer_init();
54 }
55
plat_get_syscnt_freq2(void)56 uint32_t plat_get_syscnt_freq2(void)
57 {
58 return VERSAL_CPU_CLOCK;
59 }
60
board_detection(void)61 void board_detection(void)
62 {
63 uint32_t plat_info[2];
64
65 if (pm_get_chipid(plat_info) != PM_RET_SUCCESS) {
66 /* If the call is failed we cannot proceed with further
67 * setup. TF-A to panic in this situation.
68 */
69 NOTICE("Failed to read the chip information");
70 panic();
71 }
72
73 platform_id = FIELD_GET(PLATFORM_MASK, plat_info[1]);
74 platform_version = FIELD_GET(PLATFORM_VERSION_MASK, plat_info[1]);
75 }
76
get_uart_clk(void)77 uint32_t get_uart_clk(void)
78 {
79 return UART_CLOCK;
80 }
81
