Searched refs:tzc380_write_region_base_high (Results 1 – 1 of 1) sorted by relevance
38 static void tzc380_write_region_base_high(uintptr_t base, unsigned int region, in tzc380_write_region_base_high() function90 tzc380_write_region_base_high(tzc380.base, region, addr_high(region_base)); in tzc380_configure_region()