Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/plat-marvell/armada3700/
H A Dhal_sec_perf.c226 static void _set_range(uint32_t addr, uint32_t size, uint32_t perm) in _set_range() function
253 _set_range(RA_ADDR, RA_SIZE, RA_PERM); in init_sec_perf()
/optee_os/core/arch/arm/plat-marvell/armada7k8k/
H A Dhal_sec_perf.c255 static void _set_range(uint32_t addr, uint32_t size, uint32_t perm) in _set_range() function
285 _set_range(RA_ADDR, RA_SIZE, RA_PERM); in init_sec_perf()