Lines Matching defs:region

32 static void tzc380_write_region_base_low(uintptr_t base, unsigned int region,
35 	mmio_write_32(base + REGION_SETUP_LOW_OFF(region), val);
38 static void tzc380_write_region_base_high(uintptr_t base, unsigned int region,
41 	mmio_write_32(base + REGION_SETUP_HIGH_OFF(region), val);
44 static void tzc380_write_region_attributes(uintptr_t base, unsigned int region,
47 	mmio_write_32(base + REGION_ATTRIBUTES_OFF(region), val);
83 void tzc380_configure_region(uint8_t region, uintptr_t region_base, unsigned int attr)
87 	assert(region < tzc380.num_regions);
89 	tzc380_write_region_base_low(tzc380.base, region, addr_low(region_base));
90 	tzc380_write_region_base_high(tzc380.base, region, addr_high(region_base));
91 	tzc380_write_region_attributes(tzc380.base, region, attr);