Searched refs:cv1 (Results 1 – 1 of 1) sorted by relevance
82 uint64_t cv1 = 0; in tee_time_get_sys_time() local88 cv1 = io_read32(tcb_base + TCB_CV(1)); in tee_time_get_sys_time()90 } while (io_read32(tcb_base + TCB_CV(1)) != cv1); in tee_time_get_sys_time()92 cv0 |= cv1 << 32; in tee_time_get_sys_time()