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

/optee_os-3.20.0/core/drivers/
A D	atmel_tcb.c	34 #define TCB_RC(chan) (0x1c + TCB_CHAN(chan)) macro 124 io_write32(tcb_base + TCB_RC(0), 0x80000000); in REGISTER_TIME_SOURCE()

Completed in 2 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023