Home
last modified time | relevance | path

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

/optee_os/core/drivers/
H A Dtzc400.c246 static uint32_t addr_high(vaddr_t addr __unused) in addr_high() function
292 tzc_write_region_base_high(tzc.base, region, addr_high(cfg->base)); in tzc_configure_region()
295 tzc_write_region_top_high(tzc.base, region, addr_high(cfg->top)); in tzc_configure_region()
H A Dtzc380.c166 static uint32_t addr_high(vaddr_t addr __maybe_unused) in addr_high() function
194 addr_high(region_base)); in tzc_configure_region()