Searched refs:cv0 (Results 1 – 1 of 1) sorted by relevance
81 uint64_t cv0 = 0; in tee_time_get_sys_time() local89 cv0 = io_read32(tcb_base + TCB_CV(0)); in tee_time_get_sys_time()92 cv0 |= cv1 << 32; in tee_time_get_sys_time()94 time->seconds = cv0 / tcb_rate; in tee_time_get_sys_time()95 time->millis = (cv0 % tcb_rate) / (tcb_rate / TEE_TIME_MILLIS_BASE); in tee_time_get_sys_time()