Searched refs:tzc_write_region_base_high (Results 1 – 2 of 2) sorted by relevance
76 static void tzc_write_region_base_high(vaddr_t base, uint32_t region, in tzc_write_region_base_high() function193 tzc_write_region_base_high(tzc.base, region, in tzc_configure_region()
118 static void tzc_write_region_base_high(vaddr_t base, uint32_t region, in tzc_write_region_base_high() function292 tzc_write_region_base_high(tzc.base, region, addr_high(cfg->base)); in tzc_configure_region()