70 static void tzc_write_region_base_low(vaddr_t base, uint32_t region,  in tzc_write_region_base_low()  argument
73 	io_write32(base + REGION_SETUP_LOW_OFF(region), val);  in tzc_write_region_base_low()
76 static void tzc_write_region_base_high(vaddr_t base, uint32_t region,  in tzc_write_region_base_high()  argument
79 	io_write32(base + REGION_SETUP_HIGH_OFF(region), val);  in tzc_write_region_base_high()
82 static uint32_t tzc_read_region_attributes(vaddr_t base, uint32_t region)  in tzc_read_region_attributes()  argument
84 	return io_read32(base + REGION_ATTRIBUTES_OFF(region));  in tzc_read_region_attributes()
87 static void tzc_write_region_attributes(vaddr_t base, uint32_t region,  in tzc_write_region_attributes()  argument
90 	io_write32(base + REGION_ATTRIBUTES_OFF(region), val);  in tzc_write_region_attributes()
126 void tzc_region_enable(uint8_t region)  in tzc_region_enable()  argument
130 	val = tzc_read_region_attributes(tzc.base, region);  in tzc_region_enable()
132 	tzc_write_region_attributes(tzc.base, region, val);  in tzc_region_enable()
180 void tzc_configure_region(uint8_t region, vaddr_t region_base, uint32_t attr)  in tzc_configure_region()  argument
184 	assert(region < tzc.num_regions);  in tzc_configure_region()
190 	if (region) {  in tzc_configure_region()
191 		tzc_write_region_base_low(tzc.base, region,  in tzc_configure_region()
193 		tzc_write_region_base_high(tzc.base, region,  in tzc_configure_region()
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()
222 		       uint8_t region)  in tzc_auto_configure()  argument
226 	uint8_t lregion = region;  in tzc_auto_configure()
320 static uint32_t tzc_read_region_base_low(vaddr_t base, uint32_t region)  in tzc_read_region_base_low()  argument
322 	return io_read32(base + REGION_SETUP_LOW_OFF(region));  in tzc_read_region_base_low()
325 static uint32_t tzc_read_region_base_high(vaddr_t base, uint32_t region)  in tzc_read_region_base_high()  argument
327 	return io_read32(base + REGION_SETUP_HIGH_OFF(region));  in tzc_read_region_base_high()