tzc_read_region_base_high (reference) in projects: optee_os

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

/optee_os/core/drivers/
A D	tzc400.c	`113 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 D	tzc380.c	`325 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