Home
last modified time | relevance | path

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

/optee_os-3.20.0/core/drivers/
A Datmel_tcb.c50 #define TCB_WPMR 0xe4 macro
106 io_write32(tcb_base + TCB_WPMR, TCB_WPMR_WAKEY); in REGISTER_TIME_SOURCE()
139 io_write32(tcb_base + TCB_WPMR, TCB_WPMR_WAKEY | 1); in REGISTER_TIME_SOURCE()

Completed in 2 milliseconds