Searched refs:tzc_read_region_top_high (Results 1 – 1 of 1) sorted by relevance
135 static uint32_t tzc_read_region_top_high(vaddr_t base, uint32_t region) in tzc_read_region_top_high() function318 cfg->top = reg_pair_to_64(tzc_read_region_top_high(tzc.base, region), in tzc_get_region_config()478 temp_32reg_h = tzc_read_region_top_high(tzc.base, n); in tzc_dump_state()