15 	uintptr_t base;  member
22 static unsigned int tzc380_read_build_config(uintptr_t base)  in tzc380_read_build_config()  argument
24 	return mmio_read_32(base + TZC380_CONFIGURATION_OFF);  in tzc380_read_build_config()
27 static void tzc380_write_action(uintptr_t base, unsigned int action)  in tzc380_write_action()  argument
29 	mmio_write_32(base + ACTION_OFF, action);  in tzc380_write_action()
32 static void tzc380_write_region_base_low(uintptr_t base, unsigned int region,  in tzc380_write_region_base_low()  argument
35 	mmio_write_32(base + REGION_SETUP_LOW_OFF(region), val);  in tzc380_write_region_base_low()
38 static void tzc380_write_region_base_high(uintptr_t base, unsigned int region,  in tzc380_write_region_base_high()  argument
41 	mmio_write_32(base + REGION_SETUP_HIGH_OFF(region), val);  in tzc380_write_region_base_high()
44 static void tzc380_write_region_attributes(uintptr_t base, unsigned int region,  in tzc380_write_region_attributes()  argument
47 	mmio_write_32(base + REGION_ATTRIBUTES_OFF(region), val);  in tzc380_write_region_attributes()
50 void tzc380_init(uintptr_t base)  in tzc380_init()  argument
54 	assert(base != 0U);  in tzc380_init()
55 	tzc380.base = base;  in tzc380_init()
58 	tzc_build = tzc380_read_build_config(tzc380.base);  in tzc380_init()
85 	assert(tzc380.base != 0U);  in tzc380_configure_region()
89 	tzc380_write_region_base_low(tzc380.base, region, addr_low(region_base));  in tzc380_configure_region()
90 	tzc380_write_region_base_high(tzc380.base, region, addr_high(region_base));  in tzc380_configure_region()
91 	tzc380_write_region_attributes(tzc380.base, region, attr);  in tzc380_configure_region()
96 	assert(tzc380.base != 0U);  in tzc380_set_action()
103 	tzc380_write_action(tzc380.base, action);  in tzc380_set_action()