Home
last modified time | relevance | path

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

/optee_os-3.20.0/core/drivers/
A Datmel_tcb.c30 #define TCB_CV(chan) (0x10 + TCB_CHAN(chan)) macro
83 cv1 = io_read32(tcb_base + TCB_CV(1)); in atmel_tcb_get_sys_time()
84 cv0 = io_read32(tcb_base + TCB_CV(0)); in atmel_tcb_get_sys_time()
85 } while (io_read32(tcb_base + TCB_CV(1)) != cv1); in atmel_tcb_get_sys_time()

Completed in 2 milliseconds