1*d4821739STejas Patel /* 2*d4821739STejas Patel * Copyright (c) 2018-2019, ARM Limited and Contributors. All rights reserved. 3*d4821739STejas Patel * 4*d4821739STejas Patel * SPDX-License-Identifier: BSD-3-Clause 5*d4821739STejas Patel */ 6*d4821739STejas Patel 7*d4821739STejas Patel #ifndef PLAT_PRIVATE_H 8*d4821739STejas Patel #define PLAT_PRIVATE_H 9*d4821739STejas Patel 10*d4821739STejas Patel #include <lib/xlat_tables/xlat_tables.h> 11*d4821739STejas Patel 12*d4821739STejas Patel void versal_config_setup(void); 13*d4821739STejas Patel 14*d4821739STejas Patel const mmap_region_t *plat_versal_get_mmap(void); 15*d4821739STejas Patel 16*d4821739STejas Patel void plat_versal_gic_driver_init(void); 17*d4821739STejas Patel void plat_versal_gic_init(void); 18*d4821739STejas Patel void plat_versal_gic_cpuif_enable(void); 19*d4821739STejas Patel void plat_versal_gic_cpuif_disable(void); 20*d4821739STejas Patel void plat_versal_gic_pcpu_init(void); 21*d4821739STejas Patel 22*d4821739STejas Patel unsigned int versal_calc_core_pos(u_register_t mpidr); 23*d4821739STejas Patel 24*d4821739STejas Patel #endif /* PLAT_PRIVATE_H */ 25