Searched refs:tzc_write_region_top_high (Results 1 – 1 of 1) sorted by relevance
140 static void tzc_write_region_top_high(vaddr_t base, uint32_t region, in tzc_write_region_top_high() function295 tzc_write_region_top_high(tzc.base, region, addr_high(cfg->top)); in tzc_configure_region()