Home
last modified time | relevance | path

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

/optee_os/core/drivers/
H A Datmel_tcb.c34 #define TCB_RC(chan) (0x1c + TCB_CHAN(chan)) macro
126 io_write32(tcb_base + TCB_RC(0), 0x80000000); in atmel_tcb_configure()