plat/xilinx/versal/versal_private.h

   1 /*
   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
  10 #include <lib/xlat_tables/xlat_tables.h>
  11
  12 void versal_config_setup(void);
  13
  14 const mmap_region_t *plat_versal_get_mmap(void);
  15
  16 void plat_versal_gic_driver_init(void);
  17 void plat_versal_gic_init(void);
  18 void plat_versal_gic_cpuif_enable(void);
  19 void plat_versal_gic_cpuif_disable(void);
  20 void plat_versal_gic_pcpu_init(void);
  21
  22 unsigned int versal_calc_core_pos(u_register_t mpidr);
  23
  24 #endif /* VERSAL_PRIVATE_H */