Home
last modified time | relevance | path

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

/optee_os/core/drivers/
A Dtzc400.c137 return io_read32(base + REGION_TOP_HIGH_OFF + REGION_NUM_OFF(region)); in tzc_read_region_top_high()
143 io_write32(base + REGION_TOP_HIGH_OFF + REGION_NUM_OFF(region), val); in tzc_write_region_top_high()
/optee_os/core/include/drivers/
A Dtzc400.h90 #define REGION_TOP_HIGH_OFF U(0x10c) macro

Completed in 4 milliseconds