Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/plat-marvell/armada3700/
H A Dhal_sec_perf.c154 int32_t valid_range; in set_range() local
175 valid_range = _find_valid_range(); in set_range()
176 if (valid_range == -1) { in set_range()
181 data = io_read32(MCU_TZ_RANGE_LOW_REG(valid_range)); in set_range()
188 if (!valid_range) { in set_range()
194 io_write32(MCU_TZ_RANGE_LOW_REG(valid_range), data); in set_range()
/optee_os/core/arch/arm/plat-marvell/armada7k8k/
H A Dhal_sec_perf.c156 int32_t valid_range; in set_range() local
184 valid_range = _find_valid_range(); in set_range()
185 if (valid_range == -1) { in set_range()
190 data = io_read32(MCU_TZ_RANGE_LOW_REG(valid_range)); in set_range()
197 if (!valid_range) { in set_range()
203 io_write32(MCU_TZ_RANGE_LOW_REG(valid_range), data); in set_range()