39 static tzc400_instance_t tzc400;  variable
108 	assert(tzc400.base != 0U);  in tzc400_set_action()
116 	_tzc400_write_action(tzc400.base, action);  in tzc400_set_action()
127 	tzc400.base = base;  in tzc400_init()
138 	tzc400_build = _tzc400_read_build_config(tzc400.base);  in tzc400_init()
139 	tzc400.num_filters = (uint8_t)((tzc400_build >> BUILD_CONFIG_NF_SHIFT) &  in tzc400_init()
141 	tzc400.addr_width  = (uint8_t)((tzc400_build >> BUILD_CONFIG_AW_SHIFT) &  in tzc400_init()
143 	tzc400.num_regions = (uint8_t)((tzc400_build >> BUILD_CONFIG_NR_SHIFT) &  in tzc400_init()
156 	assert(tzc400.base != 0U);  in tzc400_configure_region0()
159 	_tzc400_configure_region0(tzc400.base, sec_attr, ns_device_access);  in tzc400_configure_region0()
177 	assert(tzc400.base != 0U);  in tzc400_configure_region()
180 	assert(((filters >> tzc400.num_filters) == 0U) &&  in tzc400_configure_region()
181 	       (region < tzc400.num_regions));  in tzc400_configure_region()
187 	assert((region_top <= (UINT64_MAX >> (64U - tzc400.addr_width))) &&  in tzc400_configure_region()
195 	_tzc400_configure_region(tzc400.base, filters, region, region_base,  in tzc400_configure_region()
205 	assert(tzc400.base != 0U);  in tzc400_enable_filters()
207 	for (filter = 0U; filter < tzc400.num_filters; filter++) {  in tzc400_enable_filters()
208 		state = _tzc400_get_gate_keeper(tzc400.base, filter);  in tzc400_enable_filters()
224 		_tzc400_set_gate_keeper(tzc400.base, filter, 1);  in tzc400_enable_filters()
232 	assert(tzc400.base != 0U);  in tzc400_disable_filters()
238 	for (filter = 0; filter < tzc400.num_filters; filter++)  in tzc400_disable_filters()
239 		_tzc400_set_gate_keeper(tzc400.base, filter, 0);  in tzc400_disable_filters()