40 static tzc400_instance_t tzc400;  variable
181 	assert(tzc400.base != 0U);  in tzc400_set_action()
184 	_tzc400_write_action(tzc400.base, action);  in tzc400_set_action()
195 	tzc400.base = base;  in tzc400_init()
206 	tzc400_build = _tzc400_read_build_config(tzc400.base);  in tzc400_init()
207 	tzc400.num_filters = (uint8_t)((tzc400_build >> BUILD_CONFIG_NF_SHIFT) &  in tzc400_init()
209 	tzc400.addr_width  = (uint8_t)((tzc400_build >> BUILD_CONFIG_AW_SHIFT) &  in tzc400_init()
211 	tzc400.num_regions = (uint8_t)((tzc400_build >> BUILD_CONFIG_NR_SHIFT) &  in tzc400_init()
224 	assert(tzc400.base != 0U);  in tzc400_configure_region0()
227 	_tzc400_configure_region0(tzc400.base, sec_attr, ns_device_access);  in tzc400_configure_region0()
247 	assert(tzc400.base != 0U);  in tzc400_configure_region()
251 		filters = (1U << tzc400.num_filters) - 1U;  in tzc400_configure_region()
255 	assert(((filters >> tzc400.num_filters) == 0U) &&  in tzc400_configure_region()
256 	       (region < tzc400.num_regions));  in tzc400_configure_region()
262 	assert((region_top <= (UINT64_MAX >> (64U - tzc400.addr_width))) &&  in tzc400_configure_region()
270 	_tzc400_configure_region(tzc400.base, filters, region, region_base,  in tzc400_configure_region()
278 	assert(((filters >> tzc400.num_filters) == 0U) &&  in tzc400_update_filters()
279 	       (region < tzc400.num_regions));  in tzc400_update_filters()
281 	_tzc400_update_filters(tzc400.base, region, tzc400.num_filters, filters);  in tzc400_update_filters()
289 	assert(tzc400.base != 0U);  in tzc400_enable_filters()
291 	for (filter = 0U; filter < tzc400.num_filters; filter++) {  in tzc400_enable_filters()
292 		state = _tzc400_get_gate_keeper(tzc400.base, filter);  in tzc400_enable_filters()
313 		_tzc400_set_gate_keeper(tzc400.base, filter, 1);  in tzc400_enable_filters()
323 	assert(tzc400.base != 0U);  in tzc400_disable_filters()
326 	state = _tzc400_get_gate_keeper(tzc400.base, 0);  in tzc400_disable_filters()
330 	for (filter = start; filter < tzc400.num_filters; filter++)  in tzc400_disable_filters()
331 		_tzc400_set_gate_keeper(tzc400.base, filter, 0);  in tzc400_disable_filters()
337 	uint32_t filter_it_pending = tzc400.num_filters;  in tzc400_it_handler()
339 	assert(tzc400.base != 0U);  in tzc400_it_handler()
341 	for (filter = 0U; filter < tzc400.num_filters; filter++) {  in tzc400_it_handler()
342 		if (_tzc400_get_int_by_filter(tzc400.base, filter) != 0U) {  in tzc400_it_handler()
348 	if (filter_it_pending == tzc400.num_filters) {  in tzc400_it_handler()
354 	_tzc400_dump_fail_filter(tzc400.base, filter_it_pending);  in tzc400_it_handler()
357 	_tzc400_clear_it(tzc400.base, filter_it_pending);  in tzc400_it_handler()