11d333e69SMichal Simek /* 2619bc13eSMichal Simek * Copyright (c) 2018-2019, Arm Limited and Contributors. All rights reserved. 31d333e69SMichal Simek * Copyright (c) 2021-2022, Xilinx, Inc. All rights reserved. 492f7de1eSJay Buddhabhatti * Copyright (c) 2022-2023, Advanced Micro Devices, Inc. All rights reserved. 51d333e69SMichal Simek * 61d333e69SMichal Simek * SPDX-License-Identifier: BSD-3-Clause 71d333e69SMichal Simek */ 81d333e69SMichal Simek 91d333e69SMichal Simek #ifndef PLAT_PRIVATE_H 101d333e69SMichal Simek #define PLAT_PRIVATE_H 111d333e69SMichal Simek 120654ab7fSJay Buddhabhatti #include <bl31/interrupt_mgmt.h> 131d333e69SMichal Simek #include <lib/xlat_tables/xlat_tables_v2.h> 141d333e69SMichal Simek 150654ab7fSJay Buddhabhatti typedef struct versal_intr_info_type_el3 { 160654ab7fSJay Buddhabhatti uint32_t id; 170654ab7fSJay Buddhabhatti interrupt_type_handler_t handler; 180654ab7fSJay Buddhabhatti } versal_intr_info_type_el3_t; 190654ab7fSJay Buddhabhatti 201d333e69SMichal Simek void versal_net_config_setup(void); 21*07625d9dSPrasad Kummari void syscnt_freq_config_setup(void); 22c1e84acaSPrasad Kummari uint32_t get_uart_clk(void); 231d333e69SMichal Simek 2451564354SPrasad Kummari const mmap_region_t *plat_get_mmap(void); 251d333e69SMichal Simek 261d333e69SMichal Simek void plat_versal_net_gic_driver_init(void); 271d333e69SMichal Simek void plat_versal_net_gic_init(void); 281d333e69SMichal Simek void plat_versal_net_gic_cpuif_enable(void); 290654ab7fSJay Buddhabhatti void plat_versal_net_gic_cpuif_disable(void); 301d333e69SMichal Simek void plat_versal_net_gic_pcpu_init(void); 310654ab7fSJay Buddhabhatti void plat_versal_net_gic_save(void); 320654ab7fSJay Buddhabhatti void plat_versal_net_gic_resume(void); 330654ab7fSJay Buddhabhatti void plat_versal_net_gic_redistif_on(void); 340654ab7fSJay Buddhabhatti void plat_versal_net_gic_redistif_off(void); 351d333e69SMichal Simek 361d333e69SMichal Simek extern uint32_t cpu_clock, platform_id, platform_version; 371d333e69SMichal Simek void board_detection(void); 381d333e69SMichal Simek char *board_name_decode(void); 391d333e69SMichal Simek uint64_t smc_handler(uint32_t smc_fid, uint64_t x1, uint64_t x2, uint64_t x3, 401d333e69SMichal Simek uint64_t x4, void *cookie, void *handle, uint64_t flags); 411d333e69SMichal Simek int32_t sip_svc_setup_init(void); 420654ab7fSJay Buddhabhatti /* 430654ab7fSJay Buddhabhatti * Register handler to specific GIC entrance 440654ab7fSJay Buddhabhatti * for INTR_TYPE_EL3 type of interrupt 450654ab7fSJay Buddhabhatti */ 460654ab7fSJay Buddhabhatti int request_intr_type_el3(uint32_t irq, interrupt_type_handler_t fiq_handler); 471d333e69SMichal Simek 481d333e69SMichal Simek #endif /* PLAT_PRIVATE_H */ 49