37 tzc400_instance_t tzc400;  variable
106 	assert(tzc400.base);  in tzc400_set_action()
114 	_tzc400_write_action(tzc400.base, action);  in tzc400_set_action()
125 	tzc400.base = base;  in tzc400_init()
136 	tzc400_build = _tzc400_read_build_config(tzc400.base);  in tzc400_init()
137 	tzc400.num_filters = ((tzc400_build >> BUILD_CONFIG_NF_SHIFT) &  in tzc400_init()
139 	tzc400.addr_width  = ((tzc400_build >> BUILD_CONFIG_AW_SHIFT) &  in tzc400_init()
141 	tzc400.num_regions = ((tzc400_build >> BUILD_CONFIG_NR_SHIFT) &  in tzc400_init()
154 	assert(tzc400.base);  in tzc400_configure_region0()
157 	_tzc400_configure_region0(tzc400.base, sec_attr, ns_device_access);  in tzc400_configure_region0()
175 	assert(tzc400.base);  in tzc400_configure_region()
178 	assert(((filters >> tzc400.num_filters) == 0) &&  in tzc400_configure_region()
179 	       (region >= 0) && (region < tzc400.num_regions));  in tzc400_configure_region()
185 	assert(((region_top <= _tzc_get_max_top_addr(tzc400.addr_width)) &&  in tzc400_configure_region()
193 	_tzc400_configure_region(tzc400.base, filters, region, region_base,  in tzc400_configure_region()
203 	assert(tzc400.base);  in tzc400_enable_filters()
205 	for (filter = 0; filter < tzc400.num_filters; filter++) {  in tzc400_enable_filters()
206 		state = _tzc400_get_gate_keeper(tzc400.base, filter);  in tzc400_enable_filters()
219 		_tzc400_set_gate_keeper(tzc400.base, filter, 1);  in tzc400_enable_filters()
227 	assert(tzc400.base);  in tzc400_disable_filters()
233 	for (filter = 0; filter < tzc400.num_filters; filter++)  in tzc400_disable_filters()
234 		_tzc400_set_gate_keeper(tzc400.base, filter, 0);  in tzc400_disable_filters()