blob: d12d13af82d69b52ba3398ac4f03a5a214055f01 [file] [log] [blame]
Siva Durga Prasad Paladugufe4af662018-09-25 18:44:58 +05301/*
Tejas Patel69409962018-12-14 00:55:29 -08002 * Copyright (c) 2018-2019, ARM Limited and Contributors. All rights reserved.
Siva Durga Prasad Paladugufe4af662018-09-25 18:44:58 +05303 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
Tejas Patel69409962018-12-14 00:55:29 -08007#ifndef PLAT_PRIVATE_H
8#define PLAT_PRIVATE_H
Siva Durga Prasad Paladugufe4af662018-09-25 18:44:58 +05309
Antonio Nino Diaze0f90632018-12-14 00:18:21 +000010#include <lib/xlat_tables/xlat_tables.h>
Shubhrajyoti Dattaabf61222021-03-17 23:01:17 +053011#include <bl31/interrupt_mgmt.h>
Siva Durga Prasad Paladugufe4af662018-09-25 18:44:58 +053012
13void versal_config_setup(void);
14
15const mmap_region_t *plat_versal_get_mmap(void);
16
17void plat_versal_gic_driver_init(void);
18void plat_versal_gic_init(void);
19void plat_versal_gic_cpuif_enable(void);
20void plat_versal_gic_cpuif_disable(void);
21void plat_versal_gic_pcpu_init(void);
Tejas Patel54d13192019-02-27 18:44:55 +053022void plat_versal_gic_save(void);
23void plat_versal_gic_resume(void);
Siva Durga Prasad Paladugufe4af662018-09-25 18:44:58 +053024
25unsigned int versal_calc_core_pos(u_register_t mpidr);
Shubhrajyoti Dattaabf61222021-03-17 23:01:17 +053026/*
27 * Register handler to specific GIC entrance
28 * for INTR_TYPE_EL3 type of interrupt
29 */
30int request_intr_type_el3(uint32_t irq, interrupt_type_handler_t fiq_handler);
Siva Durga Prasad Paladugufe4af662018-09-25 18:44:58 +053031
Tejas Patel69409962018-12-14 00:55:29 -080032#endif /* PLAT_PRIVATE_H */