Home
last modified time | relevance | path

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

/optee_os/core/drivers/
H A Dtzc380.c87 static void tzc_write_region_attributes(vaddr_t base, uint32_t region, in tzc_write_region_attributes() function
H A Dtzc400.c151 static void tzc_write_region_attributes(vaddr_t base, uint32_t region, in tzc_write_region_attributes() function