Home
last modified time | relevance | path

Searched refs:region_index (Results 1 – 1 of 1) sorted by relevance

/optee_os/core/arch/arm/plat-stm32mp1/
A Dplat_tzc400.c68 unsigned int region_index = 1; in init_stm32mp1_tzc() local
86 if (!tzc_region_is_non_secure(region_index, dram_start, in init_stm32mp1_tzc()
90 region_index++; in init_stm32mp1_tzc()
93 if (!tzc_region_is_secure(region_index, tzdram_start, tzdram_size)) in init_stm32mp1_tzc()
97 region_index++; in init_stm32mp1_tzc()
99 if (!tzc_region_is_non_secure(region_index, tzdram_end, in init_stm32mp1_tzc()

Completed in 3 milliseconds