Searched refs:addr_high (Results 1 – 2 of 2) sorted by relevance
246 static uint32_t addr_high(vaddr_t addr __unused) in addr_high() function292 tzc_write_region_base_high(tzc.base, region, addr_high(cfg->base)); in tzc_configure_region()295 tzc_write_region_top_high(tzc.base, region, addr_high(cfg->top)); in tzc_configure_region()
166 static uint32_t addr_high(vaddr_t addr __maybe_unused) in addr_high() function194 addr_high(region_base)); in tzc_configure_region()