Home
last modified time | relevance | path

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

/optee_os/core/drivers/
H A Dtzc400.c87 static uint32_t tzc_read_gate_keeper(vaddr_t base) in tzc_read_gate_keeper() function
184 tmp = (tzc_read_gate_keeper(base) >> GATE_KEEPER_OS_SHIFT) & in tzc_get_gate_keeper()
196 tmp = (tzc_read_gate_keeper(base) >> GATE_KEEPER_OS_SHIFT) & in tzc_set_gate_keeper()
208 while (((tzc_read_gate_keeper(base) >> GATE_KEEPER_OS_SHIFT) & in tzc_set_gate_keeper()