Home
last modified time | relevance | path

Searched refs:tzc_read_region_base_high (Results 1 – 2 of 2) sorted by relevance

/optee_os-3.20.0/core/drivers/
A Dtzc400.c113 static uint32_t tzc_read_region_base_high(vaddr_t base, uint32_t region) in tzc_read_region_base_high() function
316 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()
A Dtzc380.c325 static uint32_t tzc_read_region_base_high(vaddr_t base, uint32_t region) in tzc_read_region_base_high() function
347 temp_32reg_h = tzc_read_region_base_high(tzc.base, n); in tzc_dump_state()

Completed in 5 milliseconds