102 static uint32_t tzc_read_region_base_low(vaddr_t base, uint32_t region)  in tzc_read_region_base_low()
107 static void tzc_write_region_base_low(vaddr_t base, uint32_t region,  in tzc_write_region_base_low()
113 static uint32_t tzc_read_region_base_high(vaddr_t base, uint32_t region)  in tzc_read_region_base_high()
118 static void tzc_write_region_base_high(vaddr_t base, uint32_t region,  in tzc_write_region_base_high()
124 static uint32_t tzc_read_region_top_low(vaddr_t base, uint32_t region)  in tzc_read_region_top_low()
129 static void tzc_write_region_top_low(vaddr_t base, uint32_t region,  in tzc_write_region_top_low()
135 static uint32_t tzc_read_region_top_high(vaddr_t base, uint32_t region)  in tzc_read_region_top_high()
140 static void tzc_write_region_top_high(vaddr_t base, uint32_t region,  in tzc_write_region_top_high()
146 static uint32_t tzc_read_region_attributes(vaddr_t base, uint32_t region)  in tzc_read_region_attributes()
151 static void tzc_write_region_attributes(vaddr_t base, uint32_t region,  in tzc_write_region_attributes()
157 static uint32_t tzc_read_region_id_access(vaddr_t base, uint32_t region)  in tzc_read_region_id_access()
162 static void tzc_write_region_id_access(vaddr_t base, uint32_t region,  in tzc_write_region_id_access()
265 void tzc_configure_region(uint8_t region, const struct tzc_region_config *cfg)  in tzc_configure_region()
309 TEE_Result tzc_get_region_config(uint8_t region, struct tzc_region_config *cfg)  in tzc_get_region_config()