tzc_write_region_base_high (reference) in projects: optee_os-3.20.0

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

/optee_os-3.20.0/core/drivers/
A D	tzc380.c	`76 static void tzc_write_region_base_high(vaddr_t base, uint32_t region, in tzc_write_region_base_high() function 193 tzc_write_region_base_high(tzc.base, region, in tzc_configure_region()`
A D	tzc400.c	`118 static void tzc_write_region_base_high(vaddr_t base, uint32_t region, in tzc_write_region_base_high() function 292 tzc_write_region_base_high(tzc.base, region, addr_high(cfg->base)); in tzc_configure_region()`

Completed in 4 milliseconds