Home
last modified time | relevance | path

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

/optee_os/core/drivers/
A Dtzc380.c82 static uint32_t tzc_read_region_attributes(vaddr_t base, uint32_t region) in tzc_read_region_attributes() function
130 val = tzc_read_region_attributes(tzc.base, region); in tzc_region_enable()
340 temp_32reg = tzc_read_region_attributes(tzc.base, n); in tzc_dump_state()
349 temp_32reg = tzc_read_region_attributes(tzc.base, n); in tzc_dump_state()
A Dtzc400.c146 static uint32_t tzc_read_region_attributes(vaddr_t base, uint32_t region) in tzc_read_region_attributes() function
323 val32 = tzc_read_region_attributes(tzc.base, region); in tzc_get_region_config()
469 temp_32reg = tzc_read_region_attributes(tzc.base, n); in tzc_dump_state()
480 temp_32reg = tzc_read_region_attributes(tzc.base, n); in tzc_dump_state()

Completed in 3 milliseconds