blob: 5d98d080c5fa73c29ee1dd18400d40ab16eddbf5 [file] [log] [blame]
Siva Durga Prasad Paladugufe4af662018-09-25 18:44:58 +05301/*
2 * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
7#ifndef VERSAL_PRIVATE_H
8#define VERSAL_PRIVATE_H
9
Antonio Nino Diaze0f90632018-12-14 00:18:21 +000010#include <lib/xlat_tables/xlat_tables.h>
Siva Durga Prasad Paladugufe4af662018-09-25 18:44:58 +053011
12void versal_config_setup(void);
13
14const mmap_region_t *plat_versal_get_mmap(void);
15
16void plat_versal_gic_driver_init(void);
17void plat_versal_gic_init(void);
18void plat_versal_gic_cpuif_enable(void);
19void plat_versal_gic_cpuif_disable(void);
20void plat_versal_gic_pcpu_init(void);
21
22unsigned int versal_calc_core_pos(u_register_t mpidr);
23
24#endif /* VERSAL_PRIVATE_H */