plat_private.h 909 B

12345678910111213141516171819202122232425262728293031323334353637
  1. /*
  2. * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved.
  3. *
  4. * SPDX-License-Identifier: BSD-3-Clause
  5. */
  6. #ifndef PLAT_PRIVATE_H
  7. #define PLAT_PRIVATE_H
  8. #include <common/bl_common.h>
  9. #include "hi3798cv200.h"
  10. void plat_configure_mmu_el3(unsigned long total_base,
  11. unsigned long total_size,
  12. unsigned long ro_start,
  13. unsigned long ro_limit,
  14. unsigned long coh_start,
  15. unsigned long coh_limit);
  16. void plat_configure_mmu_el1(unsigned long total_base,
  17. unsigned long total_size,
  18. unsigned long ro_start,
  19. unsigned long ro_limit,
  20. unsigned long coh_start,
  21. unsigned long coh_limit);
  22. void plat_io_setup(void);
  23. unsigned int poplar_calc_core_pos(u_register_t mpidr);
  24. void poplar_gic_driver_init(void);
  25. void poplar_gic_init(void);
  26. void poplar_gic_cpuif_enable(void);
  27. void poplar_gic_pcpu_init(void);
  28. #endif /* PLAT_PRIVATE_H */