11d333e69SMichal Simek /* 21d333e69SMichal Simek * Copyright (c) 2018-2019, ARM Limited and Contributors. All rights reserved. 31d333e69SMichal Simek * Copyright (c) 2021-2022, Xilinx, Inc. All rights reserved. 4*92f7de1eSJay 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); 211d333e69SMichal Simek 221d333e69SMichal Simek const mmap_region_t *plat_versal_net_get_mmap(void); 231d333e69SMichal Simek 241d333e69SMichal Simek void plat_versal_net_gic_driver_init(void); 251d333e69SMichal Simek void plat_versal_net_gic_init(void); 261d333e69SMichal Simek void plat_versal_net_gic_cpuif_enable(void); 270654ab7fSJay Buddhabhatti void plat_versal_net_gic_cpuif_disable(void); 281d333e69SMichal Simek void plat_versal_net_gic_pcpu_init(void); 290654ab7fSJay Buddhabhatti void plat_versal_net_gic_save(void); 300654ab7fSJay Buddhabhatti void plat_versal_net_gic_resume(void); 310654ab7fSJay Buddhabhatti void plat_versal_net_gic_redistif_on(void); 320654ab7fSJay Buddhabhatti void plat_versal_net_gic_redistif_off(void); 331d333e69SMichal Simek 341d333e69SMichal Simek extern uint32_t cpu_clock, platform_id, platform_version; 351d333e69SMichal Simek void board_detection(void); 361d333e69SMichal Simek char *board_name_decode(void); 371d333e69SMichal Simek uint64_t smc_handler(uint32_t smc_fid, uint64_t x1, uint64_t x2, uint64_t x3, 381d333e69SMichal Simek uint64_t x4, void *cookie, void *handle, uint64_t flags); 391d333e69SMichal Simek int32_t sip_svc_setup_init(void); 400654ab7fSJay Buddhabhatti /* 410654ab7fSJay Buddhabhatti * Register handler to specific GIC entrance 420654ab7fSJay Buddhabhatti * for INTR_TYPE_EL3 type of interrupt 430654ab7fSJay Buddhabhatti */ 440654ab7fSJay Buddhabhatti int request_intr_type_el3(uint32_t irq, interrupt_type_handler_t fiq_handler); 451d333e69SMichal Simek 461d333e69SMichal Simek #define IOCTL_OSPI_MUX_SELECT (21U) 471d333e69SMichal Simek 481d333e69SMichal Simek #endif /* PLAT_PRIVATE_H */ 49