Searched refs:tzc_write_region_attributes (Results 1 – 2 of 2) sorted by relevance
| /optee_os/core/drivers/ |
| H A D | tzc380.c | 87 static void tzc_write_region_attributes(vaddr_t base, uint32_t region, in tzc_write_region_attributes() function
132 tzc_write_region_attributes(tzc.base, region, val); in tzc_region_enable()
195 tzc_write_region_attributes(tzc.base, region, attr); in tzc_configure_region()
197 tzc_write_region_attributes(tzc.base, region, in tzc_configure_region()
|
| H A D | tzc400.c | 151 static void tzc_write_region_attributes(vaddr_t base, uint32_t region, in tzc_write_region_attributes() function
298 tzc_write_region_attributes(tzc.base, region, in tzc_configure_region()
|