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

/optee_os-3.20.0/core/drivers/
A D	atmel_tcb.c	77 uint64_t cv1 = 0; in atmel_tcb_get_sys_time() local 83 cv1 = io_read32(tcb_base + TCB_CV(1)); in atmel_tcb_get_sys_time() 85 } while (io_read32(tcb_base + TCB_CV(1)) != cv1); in atmel_tcb_get_sys_time() 87 cv0 |= cv1 << 32; in atmel_tcb_get_sys_time()

Completed in 2 milliseconds

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