Searched refs:tzc_read_region_base_high (Results 1 – 2 of 2) sorted by relevance
113 static uint32_t tzc_read_region_base_high(vaddr_t base, uint32_t region) in tzc_read_region_base_high() function316 cfg->base = reg_pair_to_64(tzc_read_region_base_high(tzc.base, region), in tzc_get_region_config()475 temp_32reg_h = tzc_read_region_base_high(tzc.base, n); in tzc_dump_state()
325 static uint32_t tzc_read_region_base_high(vaddr_t base, uint32_t region) in tzc_read_region_base_high() function347 temp_32reg_h = tzc_read_region_base_high(tzc.base, n); in tzc_dump_state()
Completed in 5 milliseconds