Home
last modified time | relevance | path

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

/optee_os-3.20.0/core/drivers/
A Dtzc380.c180 void tzc_configure_region(uint8_t region, vaddr_t region_base, uint32_t attr) in tzc_configure_region() argument
192 addr_low(region_base)); in tzc_configure_region()
194 addr_high(region_base)); in tzc_configure_region()
/optee_os-3.20.0/core/include/drivers/
A Dtzc380.h212 void tzc_configure_region(uint8_t region, vaddr_t region_base, uint32_t attr);

Completed in 3 milliseconds