Lines Matching refs:tzc400
40 static tzc400_instance_t tzc400; variable
180 assert(tzc400.base != 0U); in tzc400_set_action()
183 _tzc400_write_action(tzc400.base, action); in tzc400_set_action()
194 tzc400.base = base; in tzc400_init()
205 tzc400_build = _tzc400_read_build_config(tzc400.base); in tzc400_init()
206 tzc400.num_filters = (uint8_t)((tzc400_build >> BUILD_CONFIG_NF_SHIFT) & in tzc400_init()
208 tzc400.addr_width = (uint8_t)((tzc400_build >> BUILD_CONFIG_AW_SHIFT) & in tzc400_init()
210 tzc400.num_regions = (uint8_t)((tzc400_build >> BUILD_CONFIG_NR_SHIFT) & in tzc400_init()
223 assert(tzc400.base != 0U); in tzc400_configure_region0()
226 _tzc400_configure_region0(tzc400.base, sec_attr, ns_device_access); in tzc400_configure_region0()
246 assert(tzc400.base != 0U); in tzc400_configure_region()
250 filters = (1U << tzc400.num_filters) - 1U; in tzc400_configure_region()
254 assert(((filters >> tzc400.num_filters) == 0U) && in tzc400_configure_region()
255 (region < tzc400.num_regions)); in tzc400_configure_region()
261 assert((region_top <= (UINT64_MAX >> (64U - tzc400.addr_width))) && in tzc400_configure_region()
269 _tzc400_configure_region(tzc400.base, filters, region, region_base, in tzc400_configure_region()
279 assert(tzc400.base != 0U); in tzc400_enable_filters()
281 for (filter = 0U; filter < tzc400.num_filters; filter++) { in tzc400_enable_filters()
282 state = _tzc400_get_gate_keeper(tzc400.base, filter); in tzc400_enable_filters()
298 _tzc400_set_gate_keeper(tzc400.base, filter, 1); in tzc400_enable_filters()
306 assert(tzc400.base != 0U); in tzc400_disable_filters()
312 for (filter = 0; filter < tzc400.num_filters; filter++) in tzc400_disable_filters()
313 _tzc400_set_gate_keeper(tzc400.base, filter, 0); in tzc400_disable_filters()
319 uint32_t filter_it_pending = tzc400.num_filters; in tzc400_it_handler()
321 assert(tzc400.base != 0U); in tzc400_it_handler()
323 for (filter = 0U; filter < tzc400.num_filters; filter++) { in tzc400_it_handler()
324 if (_tzc400_get_int_by_filter(tzc400.base, filter) != 0U) { in tzc400_it_handler()
330 if (filter_it_pending == tzc400.num_filters) { in tzc400_it_handler()
336 _tzc400_dump_fail_filter(tzc400.base, filter_it_pending); in tzc400_it_handler()
339 _tzc400_clear_it(tzc400.base, filter_it_pending); in tzc400_it_handler()