Home
last modified time | relevance | path

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

/optee_os/core/drivers/
H A Dtzc380.c325 static uint32_t tzc_read_region_base_high(vaddr_t base, uint32_t region) in tzc_read_region_base_high() function
H A Dtzc400.c113 static uint32_t tzc_read_region_base_high(vaddr_t base, uint32_t region) in tzc_read_region_base_high() function