2019-07-21 17:43:45 +01:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2020, ARM Limited and Contributors. All rights reserved.
|
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
|
|
*/
|
|
|
|
|
2020-02-12 04:38:55 +00:00
|
|
|
#include <plat/arm/common/plat_arm.h>
|
2019-07-21 17:43:45 +01:00
|
|
|
#include <platform_def.h>
|
|
|
|
|
2020-02-12 04:38:55 +00:00
|
|
|
static const arm_tzc_regions_info_t tzc_regions[] = {
|
|
|
|
ARM_TZC_REGIONS_DEF,
|
|
|
|
{}
|
|
|
|
};
|
|
|
|
|
2019-07-21 17:43:45 +01:00
|
|
|
/* Initialize the secure environment */
|
|
|
|
void plat_arm_security_setup(void)
|
|
|
|
{
|
2020-02-12 04:38:55 +00:00
|
|
|
int i;
|
|
|
|
|
|
|
|
for (i = 0; i < TZC400_COUNT; i++)
|
|
|
|
arm_tzc400_setup(TZC400_BASE(i), tzc_regions);
|
2019-07-21 17:43:45 +01:00
|
|
|
}
|