Home
last modified time | relevance | path

Searched defs:tzc_write_region_base_high (Results 1 – 2 of 2) sorted by relevance

/optee_os/core/drivers/
H A Dtzc380.c76 static void tzc_write_region_base_high(vaddr_t base, uint32_t region, in tzc_write_region_base_high() function
H A Dtzc400.c118 static void tzc_write_region_base_high(vaddr_t base, uint32_t region, in tzc_write_region_base_high() function