Searched refs:TCB_CV (Results 1 – 1 of 1) sorted by relevance
30 #define TCB_CV(chan) (0x10 + TCB_CHAN(chan)) macro88 cv1 = io_read32(tcb_base + TCB_CV(1)); in tee_time_get_sys_time()89 cv0 = io_read32(tcb_base + TCB_CV(0)); in tee_time_get_sys_time()90 } while (io_read32(tcb_base + TCB_CV(1)) != cv1); in tee_time_get_sys_time()