plat/arm/board/sgiclarka/sgiclarka_security.c

   1 /*
   2  * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved.
   3  *
   4  * SPDX-License-Identifier: BSD-3-Clause
   5  */
   6
   7 #include <debug.h>
   8 #include <platform_def.h>
   9 #include <tzc_dmc620.h>
  10
  11 uintptr_t sgiclarka_dmc_base[] = {
  12         SGICLARKA_DMC620_BASE0,
  13         SGICLARKA_DMC620_BASE1
  14 };
  15
  16 static const tzc_dmc620_driver_data_t sgiclarka_plat_driver_data = {
  17         .dmc_base = sgiclarka_dmc_base,
  18         .dmc_count = ARRAY_SIZE(sgiclarka_dmc_base)
  19 };
  20
  21 static const tzc_dmc620_acc_addr_data_t sgiclarka_acc_addr_data[] = {
  22         {
  23                 .region_base = ARM_AP_TZC_DRAM1_BASE,
  24                 .region_top = ARM_AP_TZC_DRAM1_BASE + ARM_TZC_DRAM1_SIZE - 1,
  25                 .sec_attr = TZC_DMC620_REGION_S_RDWR
  26         }
  27 };
  28
  29 static const tzc_dmc620_config_data_t sgiclarka_plat_config_data = {
  30         .plat_drv_data = &sgiclarka_plat_driver_data,
  31         .plat_acc_addr_data = sgiclarka_acc_addr_data,
  32         .acc_addr_count = ARRAY_SIZE(sgiclarka_acc_addr_data)
  33 };
  34
  35 /* Initialize the secure environment */
  36 void plat_arm_security_setup(void)
  37 {
  38         arm_tzc_dmc620_setup(&sgiclarka_plat_config_data);
  39 }